Secure Code Update for Embedded Devices via Proofs of Secure Erasure

DOI10.1007/978-3-642-15497-3_39zbMATH Open1295.94128OpenAlexW1544304752MaRDI QIDQ3589834FDOQ3589834

Authors: Daniele Perito, G. Tsudik 

Publication date: 20 September 2010

Published in: Computer Security – ESORICS 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15497-3_39

Recommendations

• Efficient Proofs of Secure Erasure
• Verifying software integrity in embedded systems: a side channel approach
• scientific article; zbMATH DE number 2100572
• A Direct Anonymous Attestation Scheme for Embedded Devices

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (7)

• Formalizing data deletion in the context of the right to be forgotten
• Information Security Practice and Experience
• Proofs of Space
• Foundations of Software Science and Computation Structures
• Proof of Space from Stacked Expanders
• Remote attestation on legacy operating systems with trusted platform modules
• Cryptographic Hardware and Embedded Systems - CHES 2004

This page was built for publication: Secure Code Update for Embedded Devices via Proofs of Secure Erasure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3589834)