
Instructor  Dominique Unruh 
TA  RaulMartin Rebane (submit homework solutions here) 
Lecture Period  February 12  
Lectures  Wednesdays, 16:1517:45, room 2010 (Delta)
(Dominique; may sometimes be switched with tutorial) 
Practice sessions 
Thursdays, 16:1517:45, room 2034 (Delta) (RaulMartin) 
Office hours 
See Dominique's webpage 
Course Material  Lecture
notes, blackboard photos, practice blackboard photos, videos and exam study guide. 
Language  English 
Mailing list  utqcrypto@googlegroups.com 
Exam  TBA 
Contact  Dominique Unruh <<surname> at ut dot ee> 
20200212 (lecture)  Introduction and motivation. Polarized photons.  [video] 
20200213 (lecture)  Mathematics of single qubits. ElizurVaidman bomb testing.  [video] 
20200219 (practice)  Small exercises with single qubits.  
20200220 (practice)  Polarization invariant under rotation (circular polarization). ElitzurVaidman bomb testing (extended).  
20200226 (lecture)  Mathematics of higherdimensional systems. Composing systems. (Measurements to be continued.)  [video] 
20200227 (practice)  Multiqubit gates. Projective measurements.  
20200304 (lecture)  Continued: measurements. Deutsch's algorithm.  [video] 
20200305 (practice)  Quantum teleportation.  
20200311 (lecture)  Toy crypto example. Quantum state probability distributions. Density operators.  [video] 
20200312 (practice)  Constructing unitary boolean functions. Indistinguishability of global phase.  
20200318 (lecture)  [Online lecture] Quantum onetime pad. Partial trace.  [video] 
20200319 (practice)  Tracing out buffer qubits. Impracticality of Schrödinger's experiment. [lab_density_trace.pdf]  
20200324 (lecture)  [Online lecture] Purification of density operators. Quantum operations. Statistical distance.  [video] 
20200325 (lecture)  [Online lecture] Trace distance. Quantum key distribution (QKD)  basic idea  [video] 
20200326 (practice)  Purifying arbitrary circuits. Impossibility of FTL communication.  
20200401 (lecture)  [Online lecture] Quantum key distribution  security definition, proof overview, notation.  [video] 
20200402 (practice)  Explicit computation of trace distance. Trace distance of orthogonal states.  
20200409 (practice)  Finding purifications of density op. Quantum Operators.  
20200415 (lecture)  [Online lecture] QKD construction/proof: Bell test.  [video] 
20200416 (practice)  Guessing the key in QKD (if no classical postprocessing used). [qkd_guessing.pdf]  
20200422 (lecture)  QKD construction/proof: Bell test (ctd.). Minentropy. Minentropy of QKD raw key. Error correcting codes (intro).  [video] 
20200423 (practice)  Analysis of an equivalent security definition for QKD protocol. Analysis of the security of a QKD protocol that discards the last bit of the key.  
20200429 (lecture)  QKD construction/proof: Error correction, privacy amplification.  [video] 
20200430 (practice)  Proving missing claim from QKD proof. Secure message transfer from QKD. [lab_SMT.pdf]  
20200506 (lecture)  Shor's algorithm (period finding, factoring).  [video] 
20200507 (practice)  Implementing the Quantum Fourier Transform. [lab_QFT.pdf]  
20200513 (lecture)  Learning with errors (LWE). Regev's cryptosystem  [video] 
20200514 (practice)  The Short Integer Solutions problem. CollisionResistance from SIS.  
20200519 (lecture)  Commitment: Definitions. Impossibility of informationtheoretically secure commitment.  [video] 
20200521 (practice)  Breaking concrete commitment protocols. [lab_commitments.pdf]  
20200527 (lecture)  Zeroknowledge proofs  [video] 
Out  Due  Homework  Solution 

20200221  20200307  Homework 1  Solution 1 
20200307  20200322  Homework 2  Solution 2 
20200315  20200323  Homework 3  Solution 3 
20200328  20200405  Homework 4  Solution 4 
20200405  20200415  Homework 5  Solution 5 
20200410  20200422  Homework 6  Solution 6 
20200426  20200504  Homework 7  Solution 7 
20200503  20200511  Homework 8  Solution 8 
20200520  20200527  Homework 9  Solution 9 
20200530  20200602  Homework 10 
In quantum cryptography we use quantum
mechanical effects to construct secure protocols. The paradoxical
nature of quantum mechanics allows for constructions that solve
problems known to be impossible without quantum mechanics. This lecture
gives an introduction into this fascinating area.
Possible topics include:
You need no prior knowledge of quantum mechanics. You should have heard some introductory lecture on cryptography. You should enjoy math and have a sound understanding of linear algebra.
[NC00] Nielsen, Chuang. "Quantum Computation and Quantum Information" Cambridge University Press, 2000. A standard textbook on quantum information and quantum computing. Also contains some quantum cryptography.
Further
reading may be suggested during the
course. See the "further reading" paragraphs in the lecture notes.