Deepak Garg

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 95

Top Venues

CoRR

Proc. ACM Program. Lang.

CSF

USENIX Security Symposium

Publications

Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman
Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Roberta De Viti, Pierfrancesco Ingo, Isaac Sheff, Peter Druschel, Deepak Garg
ProLoc: Robust Location Proofs in Hindsight. CoRR (2024)
Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg
Compositional Security Definitions for Higher-Order Where Declassification. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. 8 (1) (2023)
Vaastav Anand, Deepak Garg, Antoine Kaufmann, Jonathan Mace
Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications. SOSP (2023)
Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg
Groundhog: Efficient Request Isolation in FaaS. EuroSys (2023)
Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proc. ACM Program. Lang. 7 (POPL) (2023)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CSF (2022)
Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg
Groundhog: Efficient Request Isolation in FaaS. CoRR (2022)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. CoRR (2022)
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell
Islaris: verification of machine code against authoritative ISA semantics. PLDI (2022)
Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg
BFF: foundational and automated verification of bitfield-manipulating programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. 6 (POPL) (2022)
Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Jonathan Katz, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
CoVault: A Secure Analytics Platform. CoRR (2022)
Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud. USENIX Security Symposium (2022)
Andrew K. Hirsch, Deepak Garg
Pirouette: higher-order typed functional choreographies. Proc. ACM Program. Lang. 6 (POPL) (2022)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational cost analysis in a functional-imperative setting. J. Funct. Program. 31 (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR (2021)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Robert Künnemann, Deepak Garg, Michael Backes
Accountability in the Decentralised-Adversary Setting. CSF (2021)
David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
Secure Compilation (Dagstuhl Seminar 21481). Dagstuhl Reports 11 (10) (2021)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Permissive runtime information flow control in the presence of exceptions. J. Comput. Secur. 29 (4) (2021)
Andrew K. Hirsch, Deepak Garg
Pirouette: Higher-Order Typed Functional Choreographies. CoRR (2021)
Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5 (POPL) (2021)
Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR (2021)
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
RefinedC: automating the foundational verification of C code with refined ownership types. PLDI (2021)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CoRR (2021)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF (2021)
Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak
The high-level benefits of low-level sandboxing. Proc. ACM Program. Lang. 4 (POPL) (2020)
Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
Finding Safety in Numbers with Secure Allegation Escrows. NDSS (2020)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. ESOP (2020)
Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR (2020)
Vineet Rajani, Deepak Garg
On the expressiveness and semantics of information flow types. J. Comput. Secur. 28 (1) (2020)
Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Matthew Lentz, Aastha Mehta, Bernhard Schölkopf
PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. CoRR (2020)
James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
Composing Abstractions using the null-Kernel. HotOS (2019)
Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). USENIX Security Symposium (2019)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. CoRR (2019)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From fine- to coarse-grained dynamic information flow control and back. Proc. ACM Program. Lang. 3 (POPL) (2019)
Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
Pacer: Network Side-Channel Mitigation in the Cloud. CoRR (2019)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. J. Funct. Program. 29 (2019)
Robert Künnemann, Deepak Garg, Michael Backes
Causality & Control Flow. CREST@ETAPS (2019)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation. ESOP (2019)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF (2019)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional type checking for relational properties. PLDI (2019)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. 3 (POPL) (2019)
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu
ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. EuroSys (2019)
Vineet Rajani, Deepak Garg
Types for Information Flow Control: Labeling Granularity and Semantic Models. CoRR (2018)
Vineet Rajani, Deepak Garg
Types for Information Flow Control: Labeling Granularity and Semantic Models. CSF (2018)
Eslam Elnikety, Deepak Garg, Peter Druschel
Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead. CoRR (2018)
Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg
UniTraX: Protecting Data Privacy with Discoverable Biases. POST (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR (2018)
Marco Patrignani, Deepak Garg
Robustly Safe Compilation or, Efficient, Provably Secure Compilation. CoRR (2018)
Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. 2 (POPL) (2018)
Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
Formal verification of higher-order probabilistic programs. CoRR (2018)
Robert Künnemann, Deepak Garg, Michael Backes
Accountability in Security Protocols. IACR Cryptol. ePrint Arch. 2018 (2018)
Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
Bidirectional Type Checking for Relational Properties. CoRR (2018)
Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
SATE: Robust and Private Allegation Escrows. CoRR (2018)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Exploring Robust Property Preservation for Secure Compilation. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP (2018)
Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports 8 (5) (2018)
Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Peter Druschel
ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys. CoRR (2018)
Weihao Qu, Marco Gaboardi, Deepak Garg
Relational Cost Analysis for Functional-Imperative Programs. CoRR (2018)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A Relational Logic for Higher-Order Programs. CoRR (2017)
Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
Relational cost analysis. POPL (2017)
Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). CoRR (2017)
David Swasey, Deepak Garg, Derek Dreyer
Robust and compositional verification of object capability patterns. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-Grained Information Flow Policies for Web Browsers. ESORICS (1) (2017)
Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. CoRR (2017)
Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel
Qapla: Policy compliance for database-backed systems. USENIX Security Symposium (2017)
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-grained Information Flow Policies for Web Browsers. CoRR (2017)
Marco Patrignani, Deepak Garg
Secure Compilation and Hyperproperty Preservation. CSF (2017)
Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
Type systems for information flow control: the question of granularity. ACM SIGLOG News 4 (1) (2017)
Sanjit Chatterjee, Deepak Garg, Aniket Kate, Tobias Theobald
Encrypting Messages for Incomplete Chains of Certificates. IACR Cryptol. ePrint Arch. 2017 (2017)
Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg
A type theory for incremental computational complexity with control flow changes. ICFP (2016)
Iulia Bolosteanu, Deepak Garg
Asymmetric Secure Multi-execution with Declassification. POST (2016)
Roly Perera, Deepak Garg, James Cheney
Causally Consistent Dynamic Slicing. CONCUR (2016)
Roly Perera, Deepak Garg, James Cheney
Causally consistent dynamic slicing. CoRR (2016)
Willard Rafnsson, Deepak Garg, Andrei Sabelfeld
Progress-Sensitive Security for SPARK. ESSoS (2016)
James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel
Light-Weight Contexts: An OS Abstraction for Safety and Performance. OSDI (2016)
Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwagner, Deepak Garg, Peter Druschel
Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. USENIX Security Symposium (2016)
Vineet Rajani, Deepak Garg, Tamara Rezk
On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. CSF (2016)
Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
A Logic of Programs with Interface-Confined Code. CSF (2015)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. CoRR (2015)
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
Program Actions as Actual Causes: A Building Block for Accountability. CSF (2015)
Ezgi Çiçek, Deepak Garg, Umut A. Acar
Refinement Types for Incremental Computational Complexity. ESOP (2015)
Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
Information Flow Control for Event Handling and the DOM in Web Browsers. CSF (2015)
Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
System M: A Program Logic for Code Sandboxing and Identification. CoRR (2015)
Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke, Ansley Post
Guardat: enforcing data policies at the storage layer. EuroSys (2015)
Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
Program Actions as Actual Causes: A Building Block for Accountability. CoRR (2015)
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS (2015)
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR (2015)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. PLAS@ECOOP (2014)
Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. CoRR (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. POST (2014)
Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
Privacy-preserving audit for broker-based health information exchange. CODASPY (2014)

Deepak Garg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Deepak Garg