Theses most similar to Incrementally verifiable computation or knowledge implies time/space efficiency (Valiant, Paul (Paul Andrew); 2007) read it

Towards constant bandwidth overhead integrity checking of untrusted data

Clarke, Dwaine E. (Dwaine Errol), 1976- (2005)

  • Advisor: Srinivas Devadas
  • 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

Digital signatures from probabilistically checkable proofs

Sidney, Raymond M. (Raymond Mark) (1995)

  • Advisor: Silvio Micali
  • Department of Mathematics
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

Deterministic algorithms for the Lovász Local Lemma

Haeupler, Bernhard (2010)

  • Advisor: David R. Karger
  • Department of Electrical Engineering and Computer Science
Read it

A study of statistical zero-knowledge proofs

Vadhan, Salil Pravin, 1973- (1999)

  • Advisor: Shafi Goldwasser
  • Department of Mathematics
Read it

Succinct non-Interactive arguments

Chiesa, Alessandro (2014)

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

Software protection and simulation on oblivious RAMs

Ostrovsky, Rafail (1992)

  • Advisor: Silvio Micali
  • 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