Vivek Haldar

According to our database, Vivek Haldar authored at least 8 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Dynamic Taint Propagation for Java.

Vivek Haldar, Deepak Chandra, Michael Franz

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

Symmetric behavior-based trust: a new paradigm for internet computing.

Vivek Haldar, Michael Franz

Proceedings of the New Security Paradigms Workshop 2004, 2004

Awarded Best Paper! Semantic Remote Attestation - Virtual Machine Directed Approach to Trusted Computing.

Vivek Haldar, Deepak Chandra, Michael Franz

Proceedings of the 3rd Virtual Machine Research and Technology Symposium, 2004

2003

A portable Virtual Machine target for Proof-Carrying Code.

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermín Reig, Ning Wang

Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, 2003

2002

Towards trusted systems from the ground up.

Vivek Haldar, Michael Franz

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

The source is the proof.

Vivek Haldar, Christian H. Stork, Michael Franz

Proceedings of the 2002 Workshop on New Security Paradigms, 2002

2001

Towards Language-Agnostic Mobile Code.

Peter Housel, Christian H. Stork, Vivek Haldar, Niall Dalton, Michael Franz

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001