The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Special Week on Quantum Cryptography

Relating formal security for classical and quantum protocols

Author: Dominique Unruh (Universitaet Karlsruhe)


Using a simple example we demonstrate the necessity of a formal modelling of security. We explain the established notion of simulatable security (e.g. reactive simulatability by Backes, Pfitzmann, Waidner, or universal composability by Canetti) and show how this model can be extended to encompass quantum security (cf. also the work of Ben-Or, Mayers). We conclude with a Quantum Embedding Theorem that allows to securely use quantum protocols as sub-protocols in classically secure protocols.