Searching for authors named "Vivek Haldar" – sorted by Relevance.
-
Verifying Data Flow Optimization for Just-in-Time Compilation
- Verifying Data Flow Optimizations for Just-in-Time Compilation Vivek Haldar M/S MTV29-01 2600
- Cited by 1 (0 self) – Add To MetaCart
-
Symmetric behavior-based trust: A new paradigm for internet computing
- Symmetric Behavior-Based Trust: A New Paradigm for Internet Computing Vivek Haldar Michael Franz
- Cited by 4 (1 self) – Add To MetaCart
-
Mandatory Access Control at the Object Level in the Java Virtual Machine
- Mandatory Access Control at the Object Level in the Java Virtual Machine Vivek Haldar Michael
- Cited by 1 (1 self) – Add To MetaCart
-
Tamper-Proof Annotations, by Construction
- @(email omitted); Vivek Haldar vhaldar@(email omitted); Chandra Krintz ckrintz@(email omitted); Christian H. Stork cstork
- Cited by 3 (3 self) – Add To MetaCart
-
Towards Trusted Systems from the Ground Up
- Towards Trusted Systems from the Ground Up Vivek Haldar Information and Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
Practical, Dynamic Information-flow for Virtual Machines
- Practical, Dynamic Information-flow for Virtual Machines Vivek Haldar vhaldar@(email omitted); ABSTRACT
- Cited by 1 (0 self) – Add To MetaCart
-
Dynamic Taint Propagation for Java
- ensures that operators and functions are applied only to operands and arguments of the Vivek Haldar Deepak
- Cited by 20 (2 self) – Add To MetaCart
-
Semantic Remote Attestation - A Virtual Machine directed approach to Trusted Computing
- Semantic Remote Attestation — A Virtual Machine directed approach to Trusted Computing Vivek
- Cited by 20 (3 self) – Add To MetaCart
-
Design of Embedded Systems for Real-Time Vision
- Design of Embedded Systems for Real-Time Vision Vivek Haldar 1 Gokul Vardhan 1 Abhishek Saxena
- Add To MetaCart
-
The Source is the Proof
- The Source is the Proof Vivek Haldar 1 , Christian H. Stork 2 and Michael Franz 3 University
- Cited by 5 (3 self) – Add To MetaCart

