Secure Code Update for Embedded Devices via Proofs of Secure Erasure.

Daniele Perito, Gene Tsudik

Browse the full ESORICS paper archive.