Theses most similar to Computational soundness of formal adversaries (Herzog, Jonathan, 1975-; 2002) 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

On symbolic analysis of cryptographic protocols

Patil, Akshay (Akshay R.) (2005)

  • Advisors: Ran Canetti; Ronald L. Rivest
  • Department of Electrical Engineering and Computer Science
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

Deniable Ring Signatures

Reich, Eitan (2007)

  • 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

Proof-carrying data

Chiesa, Alessandro (2010)

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

Pseudonym systems

Lysyanskaya, Anna (1999)

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

Exposure-resilient cryptography

Dodis, Yevgeniy, 1976- (2000)

  • Advisor: Madhu Sudan
  • Department of Electrical Engineering and Computer Science
Read it

Adaptive security in the threshold setting : from cryptosystems to signatures

Peikert, Christioher Jason, 1978- (2001)

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