Peifung E. Lam

 
 

I am a Ph.D. candidate in the Stanford computer security lab . My advisor is  Prof. John Mitchell .


Publications


Peifung E. Lam, John C. Mitchell, and Sharada Sundaram, A Formalization of HIPAA for a Medical Messaging System (.pdf), S. Fischer-Hübner et al. (Eds.): TrustBus 2009, LNCS 5695, pp. 73-85, 2009.


Elie Bursztein, Peifung E. Lam, and John C. Mitchell, TrackBack Spam: Abuse and Prevention (.pdf), ACM CCSW, Chicago, 2009.


D. Akhawe, A. Barth, P. Lam, J.C. Mitchell and D. Song, Towards a formal foundation of Web security (.pdf), Proc. IEEE Symposium on Computer Security Foundations, July 2010.
 

Truth is much too complicated to allow anything but approximations.

  1. -von Neumann


I've missed over 9,000 shots in my career. I've lost almost 300 games. Twenty-six times I've been trusted to take the game-winning shot . . . and missed. I've failed over and over and over again in my life. And that is why I succeed.

  1. -Michael Jordan 


Welcome to My Place