399 citations · 1.1k across the 15 of their papers we have counts for
16 papers
Security in Quantum Cryptography
Christopher Portmann, Renato Renner
Quantum cryptography exploits principles of quantum physics for the secure processing of information. A prominent example is secure communication, i.e., the task of transmitting co…
Composable and Finite Computational Security of Quantum Message Transmission
Fabio Banfi, Ueli Maurer, Christopher Portmann +1
Recent research in quantum cryptography has led to the development of schemes that encrypt and authenticate quantum messages with computational security. The security definitions u…
Composable security in relativistic quantum cryptography
V. Vilasini, Christopher Portmann, Lidia del Rio
Relativistic protocols have been proposed to overcome some impossibility results in classical and quantum cryptography. In such a setting, one takes the location of honest players…
(Quantum) Min-Entropy Resources
Christopher Portmann
We model (interactive) resources that provide Alice with a string and a guarantee that any Eve interacting with her interface of the resource obtains a (quantum) system suc…
Quantum authentication with key recycling
Christopher Portmann
We show that a family of quantum authentication protocols introduced in [Barnum et al., FOCS 2002] can be used to construct a secure quantum channel and additionally recycle all of…
Toward an Algebraic Theory of Systems
Christian Matt, Ueli Maurer, Christopher Portmann +2
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates…