Physical Turing Machines and the Formalization of Physical Cryptography

Ulrich Rührmair

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: 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},
      url = {https://eprint.iacr.org/2011/188}
}