Secure Code Update for Embedded Devices via Proofs of Secure Erasure

DOI10.1007/978-3-642-15497-3_39MaRDI QIDQ3589834zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Cryptography (94A60)

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

Cited in

(8)

• Formalizing data deletion in the context of the right to be forgotten
• Remote attestation on legacy operating systems with trusted platform modules
• Provably-secure remote memory attestation for heap overflow protection
• Proof of space from stacked expanders
• Proofs of space
• Cryptographic Hardware and Embedded Systems - CHES 2004
• Information Security Practice and Experience
• Foundations of Software Science and Computation Structures

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)