Dominique Unruh: Formal Verification of Quantum Cryptography

Channel:
United States QuICS
Subscribers:
2,450
Published on ● Video Link: https://www.youtube.com/watch?v=DgxnNyeWEuE


Duration: 34:27
424 views
0

Invited Talk at QCrypt 2016, the 6th International Conference on Quantum Cryptography, held in Washington, DC, Sept. 12-16, 2016. Web site: http://2016.qcrypt.net/



Other Videos By QuICS


2016-10-21Dominique Elser: Quantum-Limited Measurements of Signals from a Satellite
2016-10-20Jungsang Kim: Distributed Quantum Networks Based on Trapped Ions
2016-10-20Anne Broadbent: How to Verify a Quantum Computation
2016-10-20Dirk Englund: Photonic Integrated Circuits for Quantum Communications
2016-10-20Stefano Pirandola: Fundamental Limits of Repeaterless Quantum Communications
2016-10-20Roger Colbeck: Device-Independent Random Number Generation
2016-10-20Mark Wilde: Converse Bounds for Private Communication Over Quantum Channels
2016-10-20Rotem Arnon-Friedman: Simple and Tight Device-Independent Security Proofs
2016-10-20Vadim Makarov: Challenges to Physical Security of Today’s Quantum Technologies
2016-10-20Hoi-Kwong Lo: Battling with Quantum Hackers
2016-10-20Dominique Unruh: Formal Verification of Quantum Cryptography
2016-10-20Anne Broadbent: Zero-Knowledge Proof Systems for QMA
2016-10-20Akihiro Mizutani: Towards Secure QKD with Testable Assumptions on Modulation Devices
2016-10-20Thomas Jennewein: Implementing Free-Space QKD Systems Between Moving Platforms
2015-10-06Daniel Nagaj: Very Entangled Spin Chains
2015-10-06Martin Roetteler: Reversible Circuit Compilation with Space Constraints
2015-10-06Daniel Gottesman: Stabilizer Codes for Prime Power Qudits
2015-10-06Norbert Schuch: Topological Phase Transitions in Tensor Networks: A Holographic Perspective
2015-10-06Debbie Leung: On the Power of PPT-preserving and Non-signalling Codes
2015-10-06Aram Harrow: Quantum Adiabatic Optimization Versus Quantum Monte Carlo
2015-10-06Michael Bremner: Average-case Complexity Vs. Approx. Simulation of Commuting Quantum Computations