| 2005 |
|---|
| 6 | EE | Vivek Haldar,
Deepak Chandra,
Michael Franz:
Dynamic Taint Propagation for Java.
ACSAC 2005: 303-311 |
| 5 | 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 |
|---|
| 4 | EE | Vivek Haldar,
Michael Franz:
Symmetric behavior-based trust: a new paradigm for internet computing.
NSPW 2004: 79-84 |
| 3 | 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 |
| 2002 |
|---|
| 2 | EE | Vivek Haldar,
Michael Franz:
Towards trusted systems from the ground up.
ACM SIGOPS European Workshop 2002: 251-254 |
| 2001 |
|---|
| 1 | EE | Peter Housel,
Christian Stork,
Vivek Haldar,
Niall Dalton,
Michael Franz:
Towards Language-Agnostic Mobile Code.
Electr. Notes Theor. Comput. Sci. 59(1): (2001) |
