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.

Skip to content



Relating formal security for classical and quantum protocols

Unruh, D; Mueller-Quade, J (Karlsruhe)
Tuesday 07 September 2004, 12:15-13:00

Seminar Room 2, Newton Institute Gatehouse


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.

Back to top ∧