Searching for authors named "Vivek Haldar" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
