Trustworthy Systems
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 ]