Publications (20)
Online Financial Algorithms Competitive Analysis
Sandeep Kumar, Deepak Garg
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits
Omar Chowdhury, Deepak Garg, Limin Jia +1
A New Middle Path Approach For Alignements In Blast
Deepak Garg, S C Saxena, L M Bhardwaj
A Logical Method for Policy Enforcement over Evolving Audit Logs
Deepak Garg, Limin Jia, Anupam Datta
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Deepak Garg, Catalin Hritcu, Marco Patrignani +2
Information Retrieval on the web and its evaluation
Deepika Sharma, Deepak Garg
ERIM: Secure, Efficient In-process Isolation with Memory Protection Keys (MPK)
Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte +3
Programs as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar +2
Information Flow Control in WebKit's JavaScript Bytecode
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee +4
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
System M: A Program Logic for Code Sandboxing and Identification
Limin Jia, Shayak Sen, Deepak Garg +1
Program Actions as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar +2
Causally consistent dynamic slicing
Roly Perera, Deepak Garg, James Cheney
Vulnerability Management for an Enterprise Resource Planning System
Shivani Goel, Ravi Kiran, Deepak Garg
Reconstruction Error Bounds for Compressed Sensing under Poisson or Poisson-Gaussian Noise Using Variance Stabilization Transforms
Deepak Garg, Pakshal Bohra, Karthik S. Gurumoorthy +1
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Alejandro Aguirre, Gilles Barthe, Lars Birkedal +3
Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead
Eslam Elnikety, Deepak Garg, Peter Druschel
Comparison of Advance Tree Data Structures
Parth Patel, Deepak Garg
Comparative Analysis of dynamic graph techniques and data strucutre
Megha Tyagi, Deepak Garg