Theses most similar to those of author Youn, Paul, 1981-

The analysis of cryptographic APIs using the theorem prover Otter (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