Theses most similar to those of author Crutchfield, Christopher Yale

Security proofs for the MD6 hash function mode of operation (2008) 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

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

Digital signatures from probabilistically checkable proofs

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

  • Advisor: Silvio Micali
  • Department of Mathematics
Read it

Incrementally verifiable computation or knowledge implies time/space efficiency

Valiant, Paul (Paul Andrew) (2007)

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

Proof-carrying data

Chiesa, Alessandro (2010)

  • Advisors: Eran Tromer; Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
Read it

New cryptographic protocols With side-channel attack security

Miller, Rachel A., S.M. (Rachel Ann) (2012)

  • Advisor: Shafi Goldwasser
  • Department of Electrical Engineering and Computer Science
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