Demo Data from EDBT 2026 / reviewers in the wild / expert
Christian Hilgers
dblp:51/8322
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 2015
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Cryptographic protocols and secure computation · 56% Hardware security and side channels · 44% | |
| Theoretical computer science
1 paper |
Quantum computing and quantum information · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Hardware security and side channels › hardware security primitives
physical unclonable function |
0.2 | 1 | 2015 | Virtual Proofs of Reality and their Physical Implementation · IEEE Symposium on Security and Privacy 2015 |
Cryptographic protocols and secure computation
interactive proofs |
0.1 | 1 | 2015 | Virtual Proofs of Reality and their Physical Implementation · IEEE Symposium on Security and Privacy 2015 |
Quantum computing and quantum information
quantum cryptography |
0.1 | 1 | 2015 | Virtual Proofs of Reality and their Physical Implementation · IEEE Symposium on Security and Privacy 2015 |
Methods — techniques the papers use, named apart from their topics
temperature sensing · 0.4physical zero-knowledge proof · 0.4optical scattering · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2015 | Virtual Proofs of Reality and their Physical ImplementationabstractWe discuss the question of how physical statements can be proven over digital communication channels between two parties (a "prover" and a "verifier") residing in two separate local systems. Examples include: (i) "a certain object in the prover's system has temperature X°C", (ii) "two certain objects in the prover's system are positioned at distance X", or (iii) "a certain object in the prover's system has been irreversibly altered or destroyed". As illustrated by these examples, our treatment goes beyond classical security sensors in considering more general physical statements. Another distinctive aspect is the underlying security model: We neither assume secret keys in the prover's system, nor do we suppose classical sensor hardware in his system which is tamper-resistant and trusted by the verifier. Without an established name, we call this new type of security protocol a "virtual proof of reality" or simply a "virtual proof" (VP). In order to illustrate our novel concept, we give example VPs based on temperature sensitive integrated circuits, disordered optical scattering media, and quantum systems. The corresponding protocols prove the temperature, relative position, or destruction/modification of certain physical objects in the prover's system to the verifier. These objects (so-called "witness objects") are prepared by the verifier and handed over to the prover prior to the VP. Furthermore, we verify the practical validity of our method for all our optical and circuit-based VPs in detailed proof-of-concept experiments. Our work touches upon, and partly extends, several established concepts in cryptography and security, including physical unclonable functions, quantum cryptography, interactive proof systems, and, most recently, physical zero-knowledge proofs. We also discuss potential advancements of our method, for example "public virtual proofs" that function without exchanging witness objects between the verifier and the prover. Ulrich Rührmair, J. L. Martinez-Hurtado, Xiaolin Xu 0001, Christian Kraeh, Christian Hilgers, Dima Kononchuk, Jonathan J. Finley, Wayne P. Burleson |
IEEE Symposium on Security and Privacy | 5 |