Theses most similar to Digital signatures from probabilistically checkable proofs (Sidney, Raymond M. (Raymond Mark); 1995) read it

Computational soundness for standard assumptions of formal cryptography

Herzog, Jonathan, 1975- (2004)

  • Advisor: Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Efficient holographic proofs

Russell, Alexander Craig (1996)

  • Advisor: Michael Sipser
  • Department of Mathematics
Read it

Études in non-interactive zero-knowledge

Shelat, Abhi (2005)

  • Advisor: Silvio Micali
  • Department of Electrical Engineering and Computer Science
Read it

A precise computational approach to knowledge

Pass, Rafael (Rafael Nat Josef) (2006)

  • Advisor: Silvio Micali
  • Department of Electrical Engineering and Computer Science
Read it

Theory and practice of secret commitment

Halevi, Shai (1997)

  • Advisor: Silvio Micali
  • Department of Electrical Engineering and Computer Science
Read it

Security proofs for the MD6 hash function mode of operation

Crutchfield, Christopher Yale (2008)

  • Advisor: Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Randomized algorithms for reliable broadcast

Vaikuntanathan, Vinod (2009)

  • Advisor: Shafi Goldwasser
  • Department of Electrical Engineering and Computer Science
Read it

On all-or-nothing transforms and password-authenticated key exchange protocols

Boyko, Victor (Victor V.), 1979- (2000)

  • Advisor: Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

Pseudorandom functions with structure : extensions and implications

Cohen, Aloni (Aloni Jonathan) (2015)

  • Advisor: Shafi Goldwasser
  • Department of Electrical Engineering and Computer Science
Read it

PCPs for Arthur-Merlin games and communication protocols

Drucker, Andrew Donald (2010)

  • Advisor: Scott Aaronson
  • Department of Electrical Engineering and Computer Science
Read it