CS707 Seminar in Computer Science

CS707 Seminar in Computer Science (Fall 2009)

Instructor: Christino Tamon
Time/Place: Monday 11am SC342

Objectives/Outcomes

The objective is to acquire basic skills required in a formal research discourse.
The outcome is the ability to present, to engage, and to critique a formal research exposition.

Outline

Talk requirement:
Each student is expected to present a few short research talks:

The topic of the talk should be related to the overall seminar topic.
The expected duration of each talk will be 25 or 50 minutes.

Reading material

Post-quantum cryptography: quantum cryptographic protocol (BB84, etc.) and classical quantum-resistant systems (lattice, McEliece, etc.)

General:
- Post-quantum cryptography (survey) by D. Bernstein.
- "Quantum error correcting codes and quantum cryptography" by P. Shor (slides).
- Quantum cryptography (ARDA roadmap).
- BB84 protocol (wiki).
- "Experimental Quantum Cryptography" by C. Bennett, F. Bessette, G. Brassard, L. Salvail and J. Smolin, Journal of Cryptology, vol. 5, no.1, 1992, pp. 3-28.
Security proofs of BB84:
- "A simple proof of security of the BB84 quantum key distribution protocol" by P. Shor and J. Preskill.
- "Generic security proof for quantum key distribution" by M. Christandl, R. Renner and A. Ekert.
- Slides on security of BB84 by V. Roychowdhury (UCLA).
- "New Techniques for Security Proof in Quantum Cryptography" by J. Batuwantuwade (MSc thesis at Waterloo).
Techniques around BB84:
- Universal hashing (survey) by P.B. Miltersen.
- "Privacy amplification by public discussion" by C. Bennett, G. Brassard, J.-M. Robert.
- Quantum error correction codes (survey) by D. Gottesman.
- Quantum threshold theorem by P. Aliferis.
Coding-theoretic PQC systems:
- "Coding theoretic cryptosystem" by R.J. McEliece.
- "Quantum Goppa codes" by A. Niehage.
- "List-decoding of Goppa codes" by D. Bernstein.
Lattices:
- "Fully homomorphic encryption using ideal lattices" by C. Gentry (PhD thesis at Stanford).
Implementation issues:
- B92 protocol
- Slides by N. Lutkenhaus.
- Science Daily on NIST project.

Highly recommended background text:

Susan Loepp and William K. Wooters, "Protecting Information: From Classical Error Correction to Quantum Cryptography," Cambridge, 2006.

Schedule: Topics

McEliece cryptosystem (recent developments) [Jim: Dec 2]
McEliece cryptosystem (mathematical foundations) [Wenjin: Dec 2]
Privacy amplification [LIU: Nov 16]
Message authentication (Carter-Wegman hashing) [Tao: Nov 30]
BB84: experimental issues [Bai: Nov 30]
BB84: security proof (Shor-Preskill)
Information and Coding theory (background: Shannon theory)
Quantum error correction (mathematical background)
Quantum error correction (Calderbank-Shor-Steane codes)
Fault-tolerant quantum computation
Classical cryptosystems: lattices [JACOB: Nov 16]
Implementation issues [Vido,Pat:Dec 4]