Vivek Haldar

Vivek's picture

I am a PhD student in Information and Computer Science at the University of California, Irvine.

Previously, I earned my Bachelor's in Computer Science from the Indian Institute of Technology, Delhi.

My resume: TXT - PDF

My blog

Research

I work with Michael Franz and his group in the field of mobile code. This involves issues from compilers, operating systems and networks.

I'm interested in:

I'm currently working on the Semantic Remote Attestation project.

Publications

Journals

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermin Reig and Ning Wang; A Portable Virtual Machine Target for Proof-Carrying Code; Science of Computer Programming, Vol 57, 2005, pg 275-294. DOI.

Conferences and Workshops

New Vivek Haldar, Deepak Chandra and Michael Franz; Practical, Dynamic Information Flow for Virtual Machines; in 2nd International Workshop on Programming Language Interference and Dependence, September 2005; (also UCI-ICS Technical Report 05-02) - (PDF).

New Vivek Haldar, Deepak Chandra and Michael Franz; Dynamic Taint Propagation for Java; Annual Computer Security Applications Conference (ACSAC), December 2005; - (PDF) - Slides of talk (PDF).

Vivek Haldar and Michael Franz; Symmetric Behavior-Based Trust: A New Paradigm for Internet Computing; New Security Paradigms Workshop, Sept 2004; - PDF.

Vivek Haldar, Deepak Chandra, and Michael Franz; Semantic Remote attestation: A Virtual Machine Directed Approach to Trusted Computing; USENIX Virtual Machine Research and Technology Symposium, May 2004; Winner of Best Paper Award (also Technical Report No. 03-20, School of Information and Computer Science, University of California, Irvine; October 2003) - PDF - Slides of talk (PDF).

M. Franz, W. Amme, M. Beers, N. Dalton, P. H. Fröhlich, V. Haldar, A. Hartmann, P. S. Housel, F. Reig, J. von Ronne, Ch. H. Stork, and S. Zhenochin; Making Mobile Code Both Safe And Efficient; in J. Lala (Ed.), Foundations of Intrusion Tolerant Systems; IEEE Computer Society Press; to appear - PDF

Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig and Ning Wang; A Portable Virtual Machine Target for Proof-Carrying Code; ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators (IVME), June 2003 - PDF

Vivek Haldar, Christian H. Stork and Michael Franz; The Source is the Proof; New Security Paradigms Workshop, September 2002. - PDF - Slides of presentation (PDF)

Vivek Haldar and Michael Franz; Towards Trusted Systems from the Ground Up; In the proceedings of the Tenth ACM SIGOPS European Workshop, September 2002. - PDF - PostScript - Gzipped PostScript

Christian H. Stork, Peter Housel, Vivek Haldar, Niall Dalton and Michael Franz; Towards Language-Agnostic Mobile Code First Workshop on Multi-Language Infrastructure and Interoperability, September 2001, Firenze, Italy - PostScript - Gzipped PostScript

Christian H. Stork and Vivek Haldar; Compressed Abstract Syntax Trees for Mobile Code Workshop on Intermediate Representation Engineering (IRE 2001), July 2001, Orlando, Florida - PDF - Slides of talk - PowerPoint - PDF

Wolfram Amme, Niall Dalton, Peter H. Frohlich, Vivek Haldar, Peter S. Housel, Jeffrey von Ronne, Christian H. Stork, Sergiy Zhenochin, Michael Franz; Project transPROse : Reconciling Mobile-Code Security with Execution Efficiency Technical Report 01-01, Department of Information and Computer Science, University of California, Irvine. Also in DARPA Information Survivability Conference and Exposition, June 2001 - PostScript - Gzipped PostScript

Vivek Haldar, Gokul Varadhan, Abhishek Saxena, Subhashis Banerjee, M. Balakrishnan; Design of Embedded Systems for Real-Time Vision; Indian Conference on Computer Vision, Graphics, and Image Processing (ICVGIP 2000) - PostScript - Gzipped PostScript

Technical Reports

New Vivek Haldar, Deepak Chandra and Michael Franz; Practical, Dynamic Information-Flow for Virtual Machines Technical Report No. 05-02, Department of Information and Computer Science, University of California, Irvine; February 2005 - PDF

Vivek Haldar and Michael Franz; Mandatory Access Control at the Object Level in the Java Virtual Machine; Technical Report No. 04-06, Department of Information and Computer Science, University of California, Irvine; April 2004 - PDF

Vivek Haldar, Ch. W. Probst, V. Venkatachalam, and Michael Franz; Virtual Machine Driven Dynamic Voltage Scaling; Technical Report No. 03-21, School of Information and Computer Science, University of California, Irvine; October 2003 - PDF

Vivek Haldar; Verifying Data Flow Optimizations for Just-in-Time Compilation; Sun Labs Technical Report 2002-118, October 2002.

Michael Franz, Vivek Haldar, Chandra Krintz, Christian H. Stork; Online Verification of Offline Escape Analysis; Technical Report No. 02-21, Department of Information and Computer Science, University of California, Irvine; September 2002 - PDF

Michael Franz, Vivek Haldar, Chandra Krintz and Christian Stork; Tamper-proof Annotations - by Construction; Technical Report 02-10, Department of Information and Computer Science, University of California, Irvine, March 2002. - PDF - Gzipped PostScript

Christian H. Stork, Vivek Haldar, and Michael Franz; Generic Adaptive Syntax-Directed Compression for Mobile Code; Technical Report 00-42, Department of Information and Computer Science, University of California, Irvine; November 2000 - PDF

Other Stuff...

When I find a picture I've shot interesting, I put it on my photoblog.


Last substantial update on Dec 9, 2005.
more info more info more info man and wooman