You are looking at a specific version 20140605:203609 of this paper. See the latest version.

Paper 2014/415

Virtual Proofs of Reality

Ulrich Rührmair

Abstract

In this paper, we discuss the question how physical statements can be proven remotely over digital communication channels, but without using classical secret keys, and without assuming tamper-resistant and trusted measurement hardware in the location of the prover. Examples for the considered physical statements are: (i) “the temperature of a certain object is X °C”, (ii) “two certain objects are positioned at distance X”, or (iii) “a certain object has been irreversibly altered or destroyed”. In lack of an established name, we would like to call the corresponding security protocols ”virtual proofs of reality” (VPs). While a host of variants seems conceivable, this paper focuses on VPs in which the verifier has handed over one or more specific physical objects O_i to the prover at some point prior to the VP. These “witness objects” assist the prover during the proof, but shall not contain classical digital keys nor be assumed tamper-resistant in the classical sense. The prover is allowed to open, inspect and alter these objects in our adversarial model, only being limited by current technology, while he shall still be unable to prove false claims to the verifier. In order to illustrate our concept, we give example protocols built on temperature sensitive integrated circuits, disordered optical scattering media, and quantum systems. These protocols prove the temperature, destruction/modification, or relative position of witness objects in the prover’s location. Full experimental realizations of these schemes are beyond the scope of this paper. But the protocols utilize established technologies from the areas of physical unclonable functions and quantum cryptography, and hence appear plausible also without such proof. Finally, we also discuss potential advancements of our method in theory, for example “public virtual proofs” that function without exchanging witness objects Oi between the verifier and the prover. Our work touches upon and partly extends several established cryptographic and security concepts, including physical unclonable functions, quantum cryptography, and interactive proof systems.

Note: For completeness, we would like to mention a few earlier versions of this work in patent writings and talks: In 2009/2010, the general concept of Virtual Proofs of Reality (VPs), as well as concrete VPs of temperature and destruction, have been described in patent writings by the author and colleagues (please see http://www.google.com/patents/WO2010105994A2?cl=en and reference [61]). Furthermore, VPs have been described in public talks by the author at SOFSEM 2011 (please see http://kedrigern.dcs.fmph.uniba.sk/kralovic/sofsem2011/index.php?param=204 and reference [62]) and at the RISC seminar at CWI in 2012 (please see http://projects.cwi.nl/crypto/risc2012.html and reference [63]).

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Preprint. MINOR revision.
Keywords
Physical Unclonable Functions (PUFs)Interactive ProofsQuantum CryptographyPhysical Cryptography
Contact author(s)
ruehrmair @ ilo de
History
2014-06-05: received
Short URL
https://ia.cr/2014/415
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.