2007 |
4 | EE | Deepak Chandra,
Michael Franz:
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine.
ACSAC 2007: 463-475 |
2005 |
3 | EE | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Dynamic Taint Propagation for Java.
ACSAC 2005: 303-311 |
2 | EE | Michael Franz,
Deepak Chandra,
Andreas Gal,
Vivek Haldar,
Christian W. Probst,
Fermín Reig,
Ning Wang:
A portable virtual machine target for proof-carrying code.
Sci. Comput. Program. 57(3): 275-294 (2005) |
2004 |
1 | EE | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing.
Virtual Machine Research and Technology Symposium 2004: 29-41 |