Sergei Izmalkov, Matt Lepinski, Silvio Micali. Verifiably Secure Devices. In Ran Canetti, editor, Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Volume 4948 of Lecture Notes in Computer Science, pages 273-301, Springer, 2008. [doi]