Theses most similar to The analysis of cryptographic APIs using the theorem prover Otter (Youn, Paul, 1981-; 2004) read it

Clearninghouse--a payment framework for distributed object systems

Chi, Ellis Y. (Ellis Ying-Kiu) (1997)

  • Advisor: Hal Abelson
  • 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