Deepak Garg

According to our database, Deepak Garg authored at least 105 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Compositional Security Definitions for Higher-Order Where Declassification.

Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg

Proc. ACM Program. Lang., April, 2023

DimSum: A Decentralized Approach to Multi-language Semantics and Verification.

Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer

Proc. ACM Program. Lang., January, 2023

Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications.

Vaastav Anand, Deepak Garg, Antoine Kaufmann, Jonathan Mace

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Groundhog: Efficient Request Isolation in FaaS.

Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

BFF: foundational and automated verification of bitfield-manipulating programs.

Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg

Proc. ACM Program. Lang., 2022

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.

Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

Proc. ACM Program. Lang., 2022

Pirouette: higher-order typed functional choreographies.

Andrew K. Hirsch, Deepak Garg

Proc. ACM Program. Lang., 2022

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan

CoRR, 2022

CoVault: A Secure Analytics Platform.

Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Jonathan Katz, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel

CoRR, 2022

Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud.

Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg

Proceedings of the 31st USENIX Security Symposium, 2022

Islaris: verification of machine code against authoritative ISA semantics.

Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Robustly Safe Compilation, an Efficient Form of Secure Compilation.

Marco Patrignani, Deepak Garg

ACM Trans. Program. Lang. Syst., 2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

A unifying type-theory for higher-order (amortized) cost analysis.

Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Proc. ACM Program. Lang., 2021

Higher-order probabilistic adversarial computations: categorical semantics and program logics.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

Proc. ACM Program. Lang., 2021

Relational cost analysis in a functional-imperative setting.

Weihao Qu, Marco Gaboardi, Deepak Garg

J. Funct. Program., 2021

Permissive runtime information flow control in the presence of exceptions.

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer

J. Comput. Secur., 2021

Secure Compilation (Dagstuhl Seminar 21481).

David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer

Dagstuhl Reports, 2021

Isolation Without Taxation: Near Zero Cost Transitions for SFI.

Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan

CoRR, 2021

RefinedC: automating the foundational verification of C code with refined ownership types.

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Accountability in the Decentralised-Adversary Setting.

Robert Künnemann, Deepak Garg, Michael Backes

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.

Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

The high-level benefits of low-level sandboxing.

Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak

Proc. ACM Program. Lang., 2020

On the expressiveness and semantics of information flow types.

Vineet Rajani, Deepak Garg

J. Comput. Secur., 2020

PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation.

Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Matthew Lentz, Aastha Mehta, Bernhard Schölkopf

CoRR, 2020

Finding Safety in Numbers with Secure Allegation Escrows.

Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

From fine- to coarse-grained dynamic information flow control and back.

Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan

Proc. ACM Program. Lang., 2019

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

Proc. ACM Program. Lang., 2019

Relational cost analysis for functional-imperative programs.

Weihao Qu, Marco Gaboardi, Deepak Garg

Proc. ACM Program. Lang., 2019

Causality & Control Flow.

Robert Künnemann, Deepak Garg, Michael Backes

Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019

Pacer: Network Side-Channel Mitigation in the Cloud.

Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg

CoRR, 2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK).

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg

Proceedings of the 28th USENIX Security Symposium, 2019

Bidirectional type checking for relational properties.

Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Composing Abstractions using the null-Kernel.

James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code.

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Robustly Safe Compilation.

Marco Patrignani, Deepak Garg

Proceedings of the Programming Languages and Systems, 2019

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Monadic refinements for relational cost analysis.

Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger

Proc. ACM Program. Lang., 2018

Accountability in Security Protocols.

Robert Künnemann, Deepak Garg, Michael Backes

IACR Cryptol. ePrint Arch., 2018

Secure Compilation (Dagstuhl Seminar 18201).

Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens

Dagstuhl Reports, 2018

SATE: Robust and Private Allegation Escrows.

Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee

CoRR, 2018

Formal verification of higher-order probabilistic programs.

Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu

CoRR, 2018

Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

CoRR, 2018

Robustly Safe Compilation or, Efficient, Provably Secure Compilation.

Marco Patrignani, Deepak Garg

CoRR, 2018

ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys.

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Peter Druschel

CoRR, 2018

Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead.

Eslam Elnikety, Deepak Garg, Peter Druschel

CoRR, 2018

UniTraX: Protecting Data Privacy with Discoverable Biases.

Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg

Proceedings of the Principles of Security and Trust - 7th International Conference, 2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.

Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg

Proceedings of the Programming Languages and Systems, 2018

Types for Information Flow Control: Labeling Granularity and Semantic Models.

Vineet Rajani, Deepak Garg

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Type systems for information flow control: the question of granularity.

Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg

ACM SIGLOG News, 2017

Robust and compositional verification of object capability patterns.

David Swasey, Deepak Garg, Derek Dreyer

Proc. ACM Program. Lang., 2017

A relational logic for higher-order programs.

Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub

Proc. ACM Program. Lang., 2017

Encrypting Messages for Incomplete Chains of Certificates.

Sanjit Chatterjee, Deepak Garg, Aniket Kate, Tobias Theobald

IACR Cryptol. ePrint Arch., 2017

An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code.

Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi

CoRR, 2017

Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract).

Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey

CoRR, 2017

Qapla: Policy compliance for database-backed systems.

Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel

Proceedings of the 26th USENIX Security Symposium, 2017

Relational cost analysis.

Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

WebPol: Fine-Grained Information Flow Policies for Web Browsers.

Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer

Proceedings of the Computer Security - ESORICS 2017, 2017

Secure Compilation and Hyperproperty Preservation.

Marco Patrignani, Deepak Garg

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Thoth: Comprehensive Policy Compliance in Data Retrieval Systems.

Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwagner, Deepak Garg, Peter Druschel

Proceedings of the 25th USENIX Security Symposium, 2016

Asymmetric Secure Multi-execution with Declassification.

Iulia Bolosteanu, Deepak Garg

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Light-Weight Contexts: An OS Abstraction for Safety and Performance.

James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

A type theory for incremental computational complexity with control flow changes.

Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Progress-Sensitive Security for SPARK.

Willard Rafnsson, Deepak Garg, Andrei Sabelfeld

Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016

On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks.

Vineet Rajani, Deepak Garg, Tamara Rezk

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Causally Consistent Dynamic Slicing.

Roly Perera, Deepak Garg, James Cheney

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

System M: A Program Logic for Code Sandboxing and Identification.

Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta

CoRR, 2015

Guardat: enforcing data policies at the storage layer.

Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke, Ansley Post

Proceedings of the Tenth European Conference on Computer Systems, 2015

Refinement Types for Incremental Computational Complexity.

Ezgi Çiçek, Deepak Garg, Umut A. Acar

Proceedings of the Programming Languages and Systems, 2015

Information Flow Control for Event Handling and the DOM in Web Browsers.

Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

A Logic of Programs with Interface-Confined Code.

Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Program Actions as Actual Causes: A Building Block for Accountability.

Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.

Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Information Flow Control in WebKit's JavaScript Bytecode.

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.

Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

Privacy-preserving audit for broker-based health information exchange.

Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.

Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Dependent Type Theory for Verification of Information Flow and Access Control Policies.

Aleksandar Nanevski, Anindya Banerjee, Deepak Garg

ACM Trans. Program. Lang. Syst., 2013

2012

Stateful authorization logic - Proof theory and a case study.

Deepak Garg, Frank Pfenning

J. Comput. Secur., 2012

Labeled Goal-Directed Search in Access Control Logic.

Valerio Genovese, Deepak Garg, Daniele Rispoli

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Countermodels from Sequent Calculi in Multi-Modal Logics.

Deepak Garg, Valerio Genovese, Sara Negri

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Superficially substructural types.

Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.

Valerio Genovese, Deepak Garg, Daniele Rispoli

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

On Adversary Models and Compositional Security.

Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar

IEEE Secur. Priv., 2011

A Logical Method for Policy Enforcement over Evolving Audit Logs

Deepak Garg, Limin Jia, Anupam Datta

CoRR, 2011

A Proof-Carrying File System with Revocable and Use-Once Certificates.

Jamie Morgenstern, Deepak Garg, Frank Pfenning

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

New Modalities for Access Control Logics: Permission, Control and Ratification.

Valerio Genovese, Deepak Garg

Proceedings of the Security and Trust Management - 7th International Workshop, 2011

Verification of Information Flow and Access Control Policies with Dependent Types.

Aleksandar Nanevski, Anindya Banerjee, Deepak Garg

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.

Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha

Proceedings of the Information Systems Security - 7th International Conference, 2011

Policy auditing over incomplete logs: theory, implementation and applications.

Deepak Garg, Limin Jia, Anupam Datta

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Compositional System Security with Interface-Confined Adversaries.

Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Experiences in the logical specification of the HIPAA and GLBA privacy laws.

Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010

A Proof-Carrying File System.

Deepak Garg, Frank Pfenning

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

A Logic of Secure Systems and its Application to Trusted Computing.

Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar

Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009

PCAL: Language Support for Proof-Carrying Authorization Systems.

Avik Chaudhuri, Deepak Garg

Proceedings of the Computer Security, 2009

2008

A Modal Deconstruction of Access Control Logics.

Deepak Garg, Martín Abadi

Proceedings of the Foundations of Software Science and Computational Structures, 2008

An Authorization Logic With Explicit Time.

Henry DeYoung, Deepak Garg, Frank Pfenning

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Consumable Credentials in Linear-Logic-Based Access-Control Systems.

Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter

Proceedings of the Network and Distributed System Security Symposium, 2007

2006

A Linear Logic of Authorization and Knowledge.

Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter

Proceedings of the Computer Security, 2006

Non-Interference in Constructive Authorization Logic.

Deepak Garg, Frank Pfenning

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Type-Directed Concurrency.

Deepak Garg, Frank Pfenning

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Effective Chemistry for Synchrony and Asynchrony.

Deepak Garg, Akash Lal, Sanjiva Prasad

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004