Paper 2011/188

Physical Turing Machines and the Formalization of Physical Cryptography

Ulrich Rührmair

Abstract

We introduce an extension of the standard Turing machine model, so-called Physical Turing machines, and apply them in a reductionist security proof for a standard scheme from physical cryptography.

Metadata
Available format(s)
PDF
Publication info
Published elsewhere. Unknown status
Contact author(s)
ruehrmair @ in tum de
History
2014-08-07: revised
2011-04-12: received
See all versions
Short URL
https://ia.cr/2011/188
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2011/188,
      author = {Ulrich Rührmair},
      title = {Physical Turing Machines and the Formalization of Physical Cryptography},
      howpublished = {Cryptology ePrint Archive, Paper 2011/188},
      year = {2011},
      note = {\url{https://eprint.iacr.org/2011/188}},
      url = {https://eprint.iacr.org/2011/188}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.