Theses most similar to those of author Herzog, Jonathan, 1975-

Computational soundness for standard assumptions of formal cryptography (2004) read it

Signature schemes and applications to cryptographic protocol design

Lysyanskaya, Anna (2002)

  • 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

Attacks on the Fiat-Shamir paradigm and program obfuscation

Tauman Kalai, Yael (2006)

  • Advisor: Shafi Goldwasser
  • 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

Digital signatures from probabilistically checkable proofs

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

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

The paradigm of partial erasures

Lim, Dah-Yoh, 1978- (2008)

  • Advisors: Ran Canetti; 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

Computational soundness of formal adversaries

Herzog, Jonathan, 1975- (2002)

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

Computational soundness of formal adversaries (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