Paper 2011/188 Original: eprint.iacr.org/2011/188 ↗
Physical Turing Machines and the Formalization of Physical Cryptography
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
- Preprint.
- History
- 2014-08-07: last updated
- 2011-04-12: published
- Short URL
- https://ia.cr/2011/188
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}