Theses most similar to On symbolic analysis of cryptographic protocols (Patil, Akshay (Akshay R.); 2005) 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

Error-free message transmission in the universal composability framework

Wilson, David A. (David Alexander) (2005)

  • Advisors: Chris Peikert; 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

Steganography and collusion in cryptographic protocols

Lepinski, Matthew (Matthew Baker), 1978- (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

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

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

Functional signatures

Ivan, Ioana (Ioana Elisabeta) (2013)

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