skip to content

Relating formal security for classical and quantum protocols

Tuesday 7th September 2004 - 12:15 to 13:00
INI Seminar Room 2

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.

University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons