CS 294: Special Topic in Cryptography: Secure Computation (Spring 2016)

Overview

Instructor: Sanjam Garg. 
Time: 11:00--12:30pm, Tuesdays and Thursdays. 
Location: 320 Soda.
Office Hours: Just drop by my office or fix an appointment (by email).
Prerequisites: Some Background in Cryptography, maturity with mathematical proofs

Focus: The focus of this class will be the theoretical foundations and applications of modern cryptography.

Grade:  50% Scribe and 50% Project

Scribe: Scribers please follow this template. Please hand in your LaTeX source as well along with your scribe!



Topics Outline (Working Schedule!)


Jan 19 Motivation + Semi-honest Secure Computation [scribe] http://groups.csail.mit.edu/cis/pubs/shafi/1997-podc.pdf
http://www.wisdom.weizmann.ac.il/~oded/PSBookFrag/prot.ps (Sections 7.1.1 and 7.2)
Jan 21 Yao's Garbled Circuits + GMW Protocol + Oblivious Transfer [scribe] Yao's Construction: http://www.wisdom.weizmann.ac.il/~oded/PSBookFrag/prot.ps (Section 7.1.3.2)
Video Lecture: https://www.youtube.com/watch?v=mtKCDJe4a48
                        https://www.youtube.com/watch?v=4YwvZaA9IEg
Complete details of Yao's Construction: https://eprint.iacr.org/2004/175.pdf

OT + GMW: http://www.wisdom.weizmann.ac.il/~oded/PSBookFrag/prot.ps (Sections 7.1.3.3 and 7.3)
Homework 1
Jan 26 BMR [scribe] BMR Construction: http://web.cs.ucdavis.edu/~rogaway/papers/bmr90.pdf

Video Lecture: https://www.youtube.com/watch?v=GjhvJxelIVQ
Jan 28 BGW - Semi-Honest Case [scribe] https://eprint.iacr.org/2011/136.pdf
Feb 2 BGW - Malicious Case [scribe] https://eprint.iacr.org/2011/136.pdf
Feb 4 Zero Knowledge I  [scribe] Notes by Yehuda Lindell (Sections 5.3)
Additional fun reading:
Zero-Knoweldge twenty years after its invention
Feb 9 Zero Knowledge II  [scribe] http://www.eecs.harvard.edu/~alon/PAPERS/simpleZK/simpleZK.ps
Feb 11 Zero Knoweldge - Non-black Box  [scribe] http://www.boazbarak.org/Papers/nonbb.pdf
Feb 16 Malicious Security - GMW Compiler + Cut and Choose [scribe] Notes by Yehuda Lindell (Chapter 13)
Feb 18 OT Extension [scribe] http://www.cs.technion.ac.il/~yuvali/pubs/IKNP03.ps
Feb 23 Efficiency Optimizations on Garbled Circuits [scribe] Guest Lecture by Payman Mohassel
Feb 25 Oblivious RAM [scribe] https://eprint.iacr.org/2013/243.pdf
Mar 1 Secure RAM Computation [scribe] http://eprint.iacr.org/2014/941.pdf
Mar 3 Fairness [scribe] https://www.cs.umd.edu/~jkatz/papers/fair2party.pdf
Mar 8 Zero-Knowledge from MPC in the head [scribe] http://web.cs.ucla.edu/~rafail/PUBLIC/77.pdf
Mar 10 Concurrent Zero-Knowledge [scribe] http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.5895&rep=rep1&type=ps
https://www.cs.princeton.edu/~mp/pub/czk.pdf
Mar 15 Resettable Zero-Knowledge and Resettably Sound Zero-Knowledge [scribe]

https://eprint.iacr.org/1999/022.ps

https://eprint.iacr.org/2001/063.pdf
Mar 17 NIZK (GOS) [scribe] http://www0.cs.ucl.ac.uk/staff/J.Groth/NIZKJournal.pdf
Mar 22
Mar 24		 Spring break!
Mar 29 Non-Malleable Commitments [scribe] http://www.eecs.harvard.edu/~alon/PAPERS/NMC/nmc-full.pdf
Mar 31 Non-Malleable Commitments [scribe]
Apr 5 FHE applications to Secure Computation [scribe]
Apr 7 iO applications to Secure Computation [scribe]
Apr 12  BAOKAR,ARJUN ABHAY; TSAI,LYNN YULIN
 BOELTER,TOBIAS
 HUI,JOSEPH
Apr 14  IRPAN,ALEXANDER
 LEDERMAN,GIL; PATKIN,KATIA#
 MAHADEV,URMILA
Apr 19 No class
Apr 21 No class
Apr 26  MALKIN,NATHAN
 MIAO,PEIHAN
 MISHRA,PRATYUSH
Apr 28  SRINIVASAN,AKSHAYARAM
 WEI,JAMES CHACHEN

Reference Material:

 

There is no required textbook for the course and lecture notes on essentially everything that will be covered can be found online and will be scribed as part of the class. However, following can be excellent reference material.