Theses most similar to Automated security analysis of payment protocols (Huang, Enyang; 2012) 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

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

A precise computational approach to knowledge

Pass, Rafael (Rafael Nat Josef) (2006)

  • 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

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

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

Distributed computation in wireless and dynamic networks

Oshman, Rotei (2012)

  • Advisor: Nancy A. Lynch
  • 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

Automated analysis of security APIs

Lin, Amerson H (2005)

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