Vivek Haldar

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Vivek Haldar, Deepak Chandra, Michael Franz
Dynamic Taint Propagation for Java. ACSAC (2005)
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) (2005)
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)
Vivek Haldar, Michael Franz
Symmetric behavior-based trust: a new paradigm for internet computing. NSPW (2004)
Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang
A portable Virtual Machine target for Proof-Carrying Code. IVME (2003)
Vivek Haldar, Michael Franz
Towards trusted systems from the ground up. ACM SIGOPS European Workshop (2002)
Vivek Haldar, Christian H. Stork, Michael Franz
The source is the proof. NSPW (2002)
Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz
Towards Language-Agnostic Mobile Code. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)