22 citations · 54 across the 9 of their papers we have counts for
9 papers
A system capable of verifiably and privately screening global DNA synthesis
Carsten Baum, Jens Berlips, Walther Chen +28
Printing custom DNA sequences is essential to scientific and biomedical research, but the technology can be used to manufacture plagues as well as cures. Just as ink printers recog…
Access Control Encryption: Enforcing Information Flow with Cryptography
Ivan Damgård, Helene Haagh, Claudio Orlandi
We initiate the study of Access Control Encryption (ACE), a novel cryptographic primitive that allows fine-grained access control, by giving different rights to different users not…
Superposition Attacks on Cryptographic Protocols
Ivan Damgaard, Jakob Funder, Jesper Buus Nielsen +1
Attacks on classical cryptographic protocols are usually modeled by allowing an adversary to ask queries from an oracle. Security is then defined by requiring that as long as the q…
Quantum-Secure Coin-Flipping and Applications
Ivan Damgaard, Carolin Lunemann
In this paper, we prove classical coin-flipping secure in the presence of quantum adversaries. The proof uses a recent result of Watrous [Wat09] that allows quantum rewinding for p…
Improving the Security of Quantum Protocols via Commit-and-Open
Ivan Damgaard, Serge Fehr, Carolin Lunemann +2
We consider two-party quantum protocols starting with a transmission of some random BB84 qubits followed by classical messages. We show a general "compiler" improving the security…
Secure Identification and QKD in the Bounded-Quantum-Storage Model
Ivan Damgaard, Serge Fehr, Louis Salvail +1
We consider the problem of secure identification: user U proves to server S that he knows an agreed (possibly low-entropy) password w, while giving away as little information on w…