Quantum Security Meeting, 3rd December 2012

Quantum Security Meeting

December 3rd,
Edinburgh University Informatics Forum, 10 Crichton Street, EH8 9AB

If you plan to attend please send an email to level4admin@inf.ed.ac.uk

Timetable

  • 9:30 – 10:00 — Damian Markham (Telecome ParisTech)
    “Quantum Cryptography as a lens to Quantum Mechanics”
  • 10:00 – 10:30 — Anthony Leverrier (INRIA)
    “Recent progress in security proofs of quantum key distribution”
  • 10:30 – 11:00 — Eleni Diamanti (Telecome ParisTech)
    “Implementation of quantum cryptographic protocols in realistic photonic systems”
  • 11:00 – 11:30 — Coffee Break
  • 11:30 – 12:00 — Sabrina Maniscalco (Heriot-Watt University)
    “Is non-Markovian noise advantageous for quantum communication?”
  • 12:00 – 12:30 — Vedran Dunjko (University of Edinburgh)
    “Universal composable security”
  • 12:30 – 13:00 — Erika Andersson (Heriot-Watt University)
    TBA
  • 13:00 – 15:00 — Lunch Break
  • 15:00 – 15:30 — Simon Gay (University of Glasgow)
    “Formal Methods for Quantum Systems”
  • 16:00 – 17:00 — Discussions