Verifiably Secure Devices

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]

Abstract

Abstract is missing.