@misc{cryptoeprint:2010:217, author = {Daniele Perito and Gene Tsudik}, title = {Secure Code Update for Embedded Devices via Proofs of Secure Erasure}, howpublished = {Cryptology ePrint Archive, Report 2010/217}, year = {2010}, url = {http://eprint.iacr.org/2010/217}, }