Towards Language-Agnostic Mobile Code. - Peter Housel; Christian H. Stork; Vivek Haldar; Niall Dalton; Michael Franz (BABEL, 2001)

The source is the proof. - Vivek Haldar; Christian H. Stork; Michael Franz (NSPW, 2002)

Towards trusted systems from the ground up. - Vivek Haldar; Michael Franz (ACM SIGOPS European Workshop, 2002)

A portable Virtual Machine target for Proof-Carrying Code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Fermín Reig; Ning Wang (IVME, 2003)

Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing. - Vivek Haldar; Deepak Chandra; Michael Franz (Virtual Machine Research and Technology Symposium, 2004)

Symmetric behavior-based trust: a new paradigm for internet computing. - Vivek Haldar; Michael Franz (NSPW, 2004)

Dynamic Taint Propagation for Java. - Vivek Haldar; Deepak Chandra; Michael Franz (ACSAC, 2005)

A portable virtual machine target for proof-carrying code. - Michael Franz; Deepak Chandra; Andreas Gal; Vivek Haldar; Christian W. Probst; Fermín Reig; Ning Wang (Sci. Comput. Program., 2005)