Publications:

• D. Garg, J. Franklin, D. Kaynar, A. Datta, Towards a Theory of Secure Systems, Technical Report CMU-Cylab-08-003, February 2008. [ Paper ]
• S. Chaki, A. Datta, Automated Verification of Security Protocol Implementations, Technical Report CMU-Cylab-08-002, January 2008. [ Paper ]