Quantum Cryptography Christian Schaffner Research Center for Quantum

  • Slides: 39
Download presentation
Quantum Cryptography Christian Schaffner Research Center for Quantum Software Institute for Logic, Language and

Quantum Cryptography Christian Schaffner Research Center for Quantum Software Institute for Logic, Language and Computation (ILLC) University of Amsterdam Centrum Wiskunde & Informatica Qu. Soft Seminar Friday, 22 January 2016

1969: Man on the Moon 2 The Great Moon-Landing Hoax? NASA http: //www. unmuseum.

1969: Man on the Moon 2 The Great Moon-Landing Hoax? NASA http: //www. unmuseum. org/moonhoax. htm n How can you prove that you are at a specific location?

3 What will you learn from this Talk? n Introduction to Quantum Mechanics n

3 What will you learn from this Talk? n Introduction to Quantum Mechanics n Quantum Key Distribution n Position-Based Cryptography

4 Quantum Bit: Polarization of a Photon qubit as unit vect or in C

4 Quantum Bit: Polarization of a Photon qubit as unit vect or in C 2

5 Qubit: Rectilinear/Computational Basis

5 Qubit: Rectilinear/Computational Basis

6 Detecting a Qubit No photons: 0 Alice Bob

6 Detecting a Qubit No photons: 0 Alice Bob

7 Measuring a Qubit No photons: 0 Photons: 1 Alice Bob Measurement: with prob.

7 Measuring a Qubit No photons: 0 Photons: 1 Alice Bob Measurement: with prob. 1 yields 1 0/1

8 Diagonal/Hadamard Basis Measurement: with prob. ½ yields 0 = 0/1 with prob. ½

8 Diagonal/Hadamard Basis Measurement: with prob. ½ yields 0 = 0/1 with prob. ½ yields 1

9 Measuring Collapses the State Measurement: with prob. ½ yields 0 = 0/1 with

9 Measuring Collapses the State Measurement: with prob. ½ yields 0 = 0/1 with prob. ½ yields 1

10 Measuring Collapses the State = =

10 Measuring Collapses the State = =

11 Quantum Mechanics + basis £ basis Measurements: with prob. 1 yields 1 0/1

11 Quantum Mechanics + basis £ basis Measurements: with prob. 1 yields 1 0/1 with prob. ½ yields 0 0/1 with prob. ½ yields 1

Wonderland of Quantum Mechanics

Wonderland of Quantum Mechanics

13 EPR Pairs [Einstein Podolsky Rosen 1935] prob. ½ : 0 prob. ½ :

13 EPR Pairs [Einstein Podolsky Rosen 1935] prob. ½ : 0 prob. ½ : 1 EPR magic! prob. 1 : 0 n n n “spukhafte Fernwirkung” (spooky action at a distance) EPR pairs do not allow to communicate (no contradiction to relativity theory) can provide a shared random bit

14 Quantum Teleportation [Bennett Brassard Crépeau Jozsa Peres Wootters 1993] ? [Bell] ? n

14 Quantum Teleportation [Bennett Brassard Crépeau Jozsa Peres Wootters 1993] ? [Bell] ? n n n ? quantum one-time pad encryption (applying a random Pauli operation) does not contradict relativity theory Bob can only recover the teleported qubit after receiving the classical information ¾

Demonstration of Quantum Technology 15 n generation of random numbers 50% (diagram from id.

Demonstration of Quantum Technology 15 n generation of random numbers 50% (diagram from id. Quantique white paper) n no quantum computation, only quantum communication required 15

16 What will you Learn from this Talk? Introduction to Quantum Mechanics n Quantum

16 What will you Learn from this Talk? Introduction to Quantum Mechanics n Quantum Key Distribution n Position-Based Cryptography

17 No-Cloning Theorem Quantum operations: ? Proof: copying is a non-linear operation ? ?

17 No-Cloning Theorem Quantum operations: ? Proof: copying is a non-linear operation ? ? U

18 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob k=? k = 0101

18 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob k=? k = 0101 1011 n n Eve k = 0101 1011 Offers an quantum solution to the key-exchange problem which does not rely on computational assumptions (such as factoring, discrete logarithms, etc. ) Puts the players into the starting position to use symmetric-key cryptography (encryption, authentication etc. ).

19 Quantum Cryptography Landscape systems efficient classical attacks efficient quantum attacks everlasting security (store

19 Quantum Cryptography Landscape systems efficient classical attacks efficient quantum attacks everlasting security (store and break later) AES confident longer keys brute force SHA confident longer outputs brute force RSA, Disc. Logs confident Shor brute force Hash-Based Sign probably brute force Mc. Eliece probably brute force Lattice-based probably brute force QKD physical security Post Quantum Crypto technical difficulty (€) attackers

20 Quantum Key Distribution (QKD) [Bennett Brassard 84] 0 1 1 1 0 k

20 Quantum Key Distribution (QKD) [Bennett Brassard 84] 0 1 1 1 0 k = 110 0 0 1 1 0 k = 110

21 Quantum Key Distribution (QKD) [Bennett Brassard 84] ? ? ? 0 1 1

21 Quantum Key Distribution (QKD) [Bennett Brassard 84] ? ? ? 0 1 1 1 0 0 0 1 1 0 k=? k = 10 n n Quantum states are unknown to Eve, she cannot copy them. Honest players can test whether Eve interfered. k = 10

22 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob Eve n technically feasible:

22 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob Eve n technically feasible: no quantum computer required, only quantum communication

23 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob Eve n technically feasible:

23 Quantum Key Distribution (QKD) [Bennett Brassard 84] Alice Bob Eve n technically feasible: no quantum computer required, only quantum communication

24 Quantum Hacking e. g. by the group of Vadim Makarov (University of Waterloo,

24 Quantum Hacking e. g. by the group of Vadim Makarov (University of Waterloo, Canada)

What will you Learn from this Talk? 25 Introduction to Quantum Mechanics Quantum Key

What will you Learn from this Talk? 25 Introduction to Quantum Mechanics Quantum Key Distribution n Position-Based Cryptography

26 n Position-Based Cryptography Typically, cryptographic players use credentials such as n secret information

26 n Position-Based Cryptography Typically, cryptographic players use credentials such as n secret information (e. g. password or secret key) n authenticated information n biometric features Can the geographical location of a player be used as cryptographic credential ?

27 Position-Based Cryptography Can the geographical location of a player be used as sole

27 Position-Based Cryptography Can the geographical location of a player be used as sole cryptographic credential ? n Possible Applications: n n Launching-missile command comes from within your military headquarters Talking to the correct assembly Pizza-delivery problem / avoid fake calls to emergency services …

Basic task: Position Verification 28 Verifier 1 n n n Prover Verifier 2 Prover

Basic task: Position Verification 28 Verifier 1 n n n Prover Verifier 2 Prover wants to convince verifiers that she is at a particular position no coalition of (fake) provers, i. e. not at the claimed position, can convince verifiers (over)simplifying assumptions: n n n communication at speed of light instantaneous computation verifiers can coordinate

29 Position Verification: First Try Verifier 1 Prover time n distance bounding [Brands Chaum

29 Position Verification: First Try Verifier 1 Prover time n distance bounding [Brands Chaum ‘ 93] Verifier 2

Position Verification: Second Try 30 Verifier 1 Prover Verifier 2 position verification is classically

Position Verification: Second Try 30 Verifier 1 Prover Verifier 2 position verification is classically impossible ! [Chandran Goyal Moriarty Ostrovsky 09]

The Attack 31 n n copying classical information this is impossible quantumly

The Attack 31 n n copying classical information this is impossible quantumly

Position Verification: Quantum Try [Kent Munro Spiller 03/10] 32 ? ? n Can we

Position Verification: Quantum Try [Kent Munro Spiller 03/10] 32 ? ? n Can we brake the scheme now? ?

Attacking Game 33 ? ? n n ? ? Impossible to cheat due to

Attacking Game 33 ? ? n n ? ? Impossible to cheat due to no-cloning theorem Or not? ?

34 Quantum Teleportation [Bennett Brassard Crépeau Jozsa Peres Wootters 1993] ? [Bell] ? n

34 Quantum Teleportation [Bennett Brassard Crépeau Jozsa Peres Wootters 1993] ? [Bell] ? n n does not contradict relativity theory Bob can only recover the teleported qubit after receiving the classical information ¾ ?

Teleportation Attack 35 ? ? ? [Bell] ? n n It is possible to

Teleportation Attack 35 ? ? ? [Bell] ? n n It is possible to cheat with entanglement !! Quantum teleportation allows to break the protocol perfectly. [Bell] ?

No-Go Theorem 36 [Buhrman, Chandran, Fehr, Gelles, Goyal, Ostrovsky, Schaffner 2010] [Beigi Koenig 2011]

No-Go Theorem 36 [Buhrman, Chandran, Fehr, Gelles, Goyal, Ostrovsky, Schaffner 2010] [Beigi Koenig 2011] n n n Any position-verification protocol can be broken using an exponential number of entangled qubits. Question: Are so many quantum resources really necessary? Does there exist a protocol such that: n honest prover and verifiers are efficient, but n any attack requires lots of entanglement see http: //homepages. cwi. nl/~schaffne/positionbasedqcrypto. php for recent developments

What Have You Learned from this Talk? Quantum Mechanics 37 n Qubits n No-cloning

What Have You Learned from this Talk? Quantum Mechanics 37 n Qubits n No-cloning n Entanglement n Quantum Teleportation

What Have You Learned from this Talk? Quantum Key Distribution (QKD) 38 Position-Based Cryptography

What Have You Learned from this Talk? Quantum Key Distribution (QKD) 38 Position-Based Cryptography

Thank you for your attention! Questions check http: //arxiv. org/abs/1510. 06120 for a survey

Thank you for your attention! Questions check http: //arxiv. org/abs/1510. 06120 for a survey about quantum cryptography beyond key distribution