6.897 Selected Topics In Cryptography

Home Page Course Materials by Lecture Date

Lectures 1,2 (Thu Feb 5/Fri Feb 6):

Slides for Lectures 1 and 2
Scribe notes for Lectures 1 and 2
Handout 1, General Information (LaTeX source)
Handout 2, Planned lectures until spring break

Lectures 3,4 (Thu Feb 12/Fri Feb 13):

Slides for Lectures 3 and 4
Scribe notes for Lectures 3 and 4

Lectures 5,6 (Thu Feb 19/Fri Feb 20):

No lectures (TCC 2004.)

Lectures 7,8 (Thu Feb 26/Fri Feb 27):

Slides for Lectures 7 and 8
Scribe notes for Lecture 7
Scribe notes for Lecture 8
Problem Set 1

Lectures 9,10 (Thu Mar 4/Fri Mar 5):

Slides for Lectures 9 and 10
Scribe notes for Lecture 9

Lectures 11,12 (Thu Mar 11/Fri Mar 12):

Slides for Lectures 11 and 12
Scribe notes for Lecture 11
Scribe notes for Lecture 12

Lectures 13,14 (Thu Mar 18/Fri Mar 19):

Slides for Lectures 13 and 14
Scribe notes for Lecture 13 and 14

Lectures 15,16 (Thu Apr 1/Fri Apr 2):

Slides for Lectures 15 and 16
Problem Set 2

Lectures 17,18 (Thu/Fri Apr 8/9): Electronic Voting/Introduction

Scribe notes for Lecture 17
Scribe notes for Lecture 18

Background:

• CalTech/MIT Voting Technology Report: "Voting-What Is, What Could Be"
• www.verifiedvoting.org
• www.blackboxvoting.org
• Rebecca Mercuri's site
• Lori Cranor's site
• Jon Stewart Daily Show bit on electronic voting

• David Dill's 2/25/04 lecture at Rice
  (Warnings: 1hr 41 mins long, including panel. Also Windows webcast seemed to be truncated, but Real Player format was OK...)
  Watching this video is a "strongly encouraged" "optional" assignment.
• Jakobsson/Juels/Rivest paper on mixnets
• Boneh/Golle's paper on mixnets
• Chaum's "Secret Ballot Receipts: True Voter Verifiable Elections"
• Documentation for VoteHere's scheme (due to Andy Neff)
• Neff's earlier paper
• Improved version of Neff's paper (4/21/04)

Lectures 19,20 (Thu Apr 15/Fri Apr 16): Verifiable Mix-nets

Scribe notes for Lecture 19
Scribe notes for Lecture 20

Relevant readings:

• Cramer/Damgard/Schoenmaker's paper on "Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols"
• Millimix note by Jakobsson and Juels
• Feige/Shamir's paper on "Witness Hiding and Witness Indistinguishable Protocols"

Lectures 21,22 (Thu Apr 22/Fri Apr 23): Verifiable Mix-nets

Scribe notes for Lecture 21
Scribe notes for Lecture 22

Relevant readings:

• Vanity Fair article "Hack The Vote" (4/2004)
• Wikstrom's "A Universally Composable Mix Net" from TCC 2004 (pdf) (ps)
• Bellare/Garay/Rabin on Batch Verification
• Naor/Shamir's paper on Visual Cryptography
• Doug Stinson's Visual Cryptography Page

Lectures 23,24 (Thu Apr 29/Fri Apr 30): Chaum's Voting Scheme

Scribe notes for Lecture 23
Scribe notes for Lecture 24

Relevant readings:

• Chaum's "Secret Ballot Receipts: True Voter Verifiable Elections"
• Bryans/Ryan "A Dependability Analysis of the Chaum Digital Voting Scheme"

Lectures 25,26 (Thu May 5/Thu May 12): Pairing-Based Cryptography

Scribe notes for Lecture 25
Scribe notes for Lecture 26

Relevant links and readings:

• Dutta/Barua/Sarkar -- Pairing-based Cryptography: A Survey
• Boneh/Franklin -- Identity-based Encryption From The Weil Pairing (Crypto 2001)
• Barreto/Kim/Lymn/Scott -- Efficient Algorithms For Pairing-Based Cryptosystems.pdf (Crypto 2002)
• The Pairing-Based Crypto Lounge

Homework 4: text

Last modified: Wednesday Feb 2 2004