[Resource Topic] 2011/188: Physical Turing Machines and the Formalization of Physical Cryptography

Welcome to the resource topic for 2011/188

Title:
Physical Turing Machines and the Formalization of Physical Cryptography

Authors: 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.

ePrint: https://eprint.iacr.org/2011/188

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .