Deepak Garg - RankMe

139 papers A* 20A 24B 6Misc 2Journal 71Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	A Recipe for Modular Verification of Generic Tree Traversals. CPP Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer, Deepak Garg
2026	J	`jnl`	Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation. Proc. ACM Program. Lang. Niklas Mück, Aïna Linn Georges, Derek Dreyer, Deepak Garg, Michael Sammler
2025	A*	`conf`	CoVault: Secure, Scalable Analytics of Personal Data. USENIX Security Symposium Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
2025	J	`jnl`	Fusing Session-Typed Concurrent Programming into Functional Programming. Proc. ACM Program. Lang. Chuta Sano, Deepak Garg, Ryan Kavanagh, Brigitte Pientka, Bernardo Toninho
2025	J	`jnl`	Iridescent: A Framework Enabling Online System Implementation Specialization. CoRR Vaastav Anand, Deepak Garg, Antoine Kaufmann
2025	J	`jnl`	Non-interference Preserving Optimising Compilation. Proc. ACM Program. Lang. Julian Rosemann, Sebastian Hack, Deepak Garg
2025	J	`jnl`	RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers. Proc. ACM Program. Lang. Kimaya Bedarkar, Laila Elbeheiry, Michael Sammler, Lennard Gäher, Björn B. Brandenburg, Derek Dreyer, Deepak Garg
2025	J	`jnl`	SoK: Demystifying the multiverse of MPC protocols. CoRR Roberta De Viti, Vaastav Anand, Pierfrancesco Ingo, Deepak Garg
2025	J	`jnl`	Towards Online Code Specialization of Systems. CoRR Vaastav Anand, Deepak Garg, Antoine Kaufmann
2024	J	`jnl`	A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs. Proc. ACM Program. Lang. Vineet Rajani, Gilles Barthe, Deepak Garg
2024	J	`jnl`	ProLoc: Robust Location Proofs in Hindsight. CoRR Roberta De Viti, Pierfrancesco Ingo, Isaac Sheff, Peter Druschel, Deepak Garg
2024	J	`jnl`	Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman
2024	B	`conf`	Toast: A Heterogeneous Memory Management System. PACT Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Caetano Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia
2023	A*	`conf`	Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications. SOSP Vaastav Anand, Deepak Garg, Antoine Kaufmann, Jonathan Mace
2023	J	`jnl`	Compositional Security Definitions for Higher-Order Where Declassification. Proc. ACM Program. Lang. Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg
2023	J	`jnl`	DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proc. ACM Program. Lang. Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer
2023	J	`jnl`	From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2023	A	`conf`	Groundhog: Efficient Request Isolation in FaaS. EuroSys Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg
2022	J	`jnl`	BFF: foundational and automated verification of bitfield-manipulating programs. Proc. ACM Program. Lang. Fengmin Zhu, Michael Sammler, Rodolphe Lepigre, Derek Dreyer, Deepak Garg
2022	J	`jnl`	CoVault: A Secure Analytics Platform. CoRR Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Jonathan Katz, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
2022	J	`jnl`	From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. CoRR Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2022	J	`jnl`	Groundhog: Efficient Request Isolation in FaaS. CoRR Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg
2022	A*	`conf`	Islaris: verification of machine code against authoritative ISA semantics. PLDI Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell
2022	J	`jnl`	Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. Proc. ACM Program. Lang. Matthew Kolosick, Shravan Narayan, Evan Johnson, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2022	A*	`conf`	Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud. USENIX Security Symposium Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
2022	J	`jnl`	Pirouette: higher-order typed functional choreographies. Proc. ACM Program. Lang. Andrew K. Hirsch, Deepak Garg
2022	A	`conf`	SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CSF Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2021	J	`jnl`	A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann
2021	A	`conf`	Accountability in the Decentralised-Adversary Setting. CSF Robert Künnemann, Deepak Garg, Michael Backes
2021	J	`jnl`	An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2021	A	`conf`	CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. CSF Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2021	J	`jnl`	Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2021	J	`jnl`	Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato
2021	J	`jnl`	Isolation Without Taxation: Near Zero Cost Transitions for SFI. CoRR Matthew Kolosick, Shravan Narayan, Conrad Watt, Michael LeMay, Deepak Garg, Ranjit Jhala, Deian Stefan
2021	J	`jnl`	Permissive runtime information flow control in the presence of exceptions. J. Comput. Secur. Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2021	J	`jnl`	Pirouette: Higher-Order Typed Functional Choreographies. CoRR Andrew K. Hirsch, Deepak Garg
2021	A*	`conf`	RefinedC: automating the foundational verification of C code with refined ownership types. PLDI Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
2021	J	`jnl`	Relational cost analysis in a functional-imperative setting. J. Funct. Program. Weihao Qu, Marco Gaboardi, Deepak Garg
2021	J	`jnl`	Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Trans. Program. Lang. Syst. Marco Patrignani, Deepak Garg
2021	J	`jnl`	Secure Compilation (Dagstuhl Seminar 21481). Dagstuhl Reports David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
2021	J	`jnl`	SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CoRR Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
2020	J	`jnl`	CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle. CoRR Akram El-Korashy, Stelios Tsampas, Marco Patrignani, Dominique Devriese, Deepak Garg, Frank Piessens
2020	A*	`conf`	Finding Safety in Numbers with Secure Allegation Escrows. NDSS Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
2020	J	`jnl`	On the expressiveness and semantics of information flow types. J. Comput. Secur. Vineet Rajani, Deepak Garg
2020	J	`jnl`	PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation. CoRR Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Matthew Lentz, Aastha Mehta, Bernhard Schölkopf
2020	J	`jnl`	The high-level benefits of low-level sandboxing. Proc. ACM Program. Lang. Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak
2020	A	`conf`	Trace-Relating Compiler Correctness and Secure Compilation. ESOP Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2019	J	`jnl`	A relational logic for higher-order programs. J. Funct. Program. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2019	A*	`conf`	Bidirectional type checking for relational properties. PLDI Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2019	—	`conf`	Causality & Control Flow. CREST Robert Künnemann, Deepak Garg, Michael Backes
2019	A	`conf`	Composing Abstractions using the null-Kernel. HotOS James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
2019	A	`conf`	ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. EuroSys Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu
2019	A*	`conf`	ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). USENIX Security Symposium Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, Deepak Garg
2019	J	`jnl`	Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization. Proc. ACM Program. Lang. Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2019	J	`jnl`	From fine- to coarse-grained dynamic information flow control and back. Proc. ACM Program. Lang. Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
2019	Misc	`ed.`	Information Systems Security - 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019, Proceedings ICISS Deepak Garg, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar
2019	A	`conf`	Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
2019	J	`jnl`	Pacer: Network Side-Channel Mitigation in the Cloud. CoRR Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B. Brandenburg, Peter Druschel, Deepak Garg
2019	J	`jnl`	Relational cost analysis for functional-imperative programs. Proc. ACM Program. Lang. Weihao Qu, Marco Gaboardi, Deepak Garg
2019	A	`conf`	Robustly Safe Compilation. ESOP Marco Patrignani, Deepak Garg
2019	J	`jnl`	Trace-Relating Compiler Correctness and Secure Compilation. CoRR Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2018	J	`jnl`	Accountability in Security Protocols. IACR Cryptol. ePrint Arch. Robert Künnemann, Deepak Garg, Michael Backes
2018	J	`jnl`	Bidirectional Type Checking for Relational Properties. CoRR Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys. CoRR Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Peter Druschel
2018	J	`jnl`	Exploring Robust Property Preservation for Secure Compilation. CoRR Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
2018	J	`jnl`	Formal verification of higher-order probabilistic programs. CoRR Tetsuya Sato, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu
2018	J	`jnl`	Monadic refinements for relational cost analysis. Proc. ACM Program. Lang. Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
2018	J	`jnl`	Relational Cost Analysis for Functional-Imperative Programs. CoRR Weihao Qu, Marco Gaboardi, Deepak Garg
2018	A	`conf`	Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. ESOP Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. CoRR Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg
2018	J	`jnl`	Robustly Safe Compilation or, Efficient, Provably Secure Compilation. CoRR Marco Patrignani, Deepak Garg
2018	J	`jnl`	SATE: Robust and Private Allegation Escrows. CoRR Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee
2018	J	`jnl`	Secure Compilation (Dagstuhl Seminar 18201). Dagstuhl Reports Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
2018	J	`jnl`	Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead. CoRR Eslam Elnikety, Deepak Garg, Peter Druschel
2018	A	`conf`	Types for Information Flow Control: Labeling Granularity and Semantic Models. CSF Vineet Rajani, Deepak Garg
2018	J	`jnl`	Types for Information Flow Control: Labeling Granularity and Semantic Models. CoRR Vineet Rajani, Deepak Garg
2018	—	`conf`	UniTraX: Protecting Data Privacy with Discoverable Biases. POST Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg
2017	J	`jnl`	A Relational Logic for Higher-Order Programs. CoRR Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2017	J	`jnl`	A relational logic for higher-order programs. Proc. ACM Program. Lang. Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
2017	J	`jnl`	An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code. CoRR Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
2017	J	`jnl`	Encrypting Messages for Incomplete Chains of Certificates. IACR Cryptol. ePrint Arch. Sanjit Chatterjee, Deepak Garg, Aniket Kate, Tobias Theobald
2017	A*	`conf`	Qapla: Policy compliance for database-backed systems. USENIX Security Symposium Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel
2017	A*	`conf`	Relational cost analysis. POPL Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
2017	J	`jnl`	Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract). CoRR Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
2017	J	`jnl`	Robust and compositional verification of object capability patterns. Proc. ACM Program. Lang. David Swasey, Deepak Garg, Derek Dreyer
2017	A	`conf`	Secure Compilation and Hyperproperty Preservation. CSF Marco Patrignani, Deepak Garg
2017	J	`jnl`	Type systems for information flow control: the question of granularity. ACM SIGLOG News Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
2017	—	`conf`	WebPol: Fine-Grained Information Flow Policies for Web Browsers. ESORICS (1) Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2017	J	`jnl`	WebPol: Fine-grained Information Flow Policies for Web Browsers. CoRR Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2016	A	`conf`	A type theory for incremental computational complexity with control flow changes. ICFP Ezgi Çiçek, Zoe Paraskevopoulou, Deepak Garg
2016	—	`conf`	Asymmetric Secure Multi-execution with Declassification. POST Iulia Bolosteanu, Deepak Garg
2016	B	`conf`	Causally Consistent Dynamic Slicing. CONCUR Roly Perera, Deepak Garg, James Cheney
2016	J	`jnl`	Causally consistent dynamic slicing. CoRR Roly Perera, Deepak Garg, James Cheney
2016	A*	`conf`	Light-Weight Contexts: An OS Abstraction for Safety and Performance. OSDI James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel
2016	A	`conf`	On Access Control, Capabilities, Their Equivalence, and Confused Deputy Attacks. CSF Vineet Rajani, Deepak Garg, Tamara Rezk
2016	—	`conf`	Progress-Sensitive Security for SPARK. ESSoS Willard Rafnsson, Deepak Garg, Andrei Sabelfeld
2016	A*	`conf`	Thoth: Comprehensive Policy Compliance in Data Retrieval Systems. USENIX Security Symposium Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwagner, Deepak Garg, Peter Druschel
2015	A	`conf`	A Logic of Programs with Interface-Confined Code. CSF Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2015	A*	`conf`	Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015	J	`jnl`	Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015	J	`jnl`	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. CoRR Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2015	A	`conf`	Guardat: enforcing data policies at the storage layer. EuroSys Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke, Ansley Post
2015	A	`conf`	Information Flow Control for Event Handling and the DOM in Web Browsers. CSF Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
2015	A	`conf`	Program Actions as Actual Causes: A Building Block for Accountability. CSF Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2015	J	`jnl`	Program Actions as Actual Causes: A Building Block for Accountability. CoRR Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
2015	A	`conf`	Refinement Types for Incremental Computational Complexity. ESOP Ezgi Çiçek, Deepak Garg, Umut A. Acar
2015	J	`jnl`	System M: A Program Logic for Code Sandboxing and Identification. CoRR Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2014	—	`conf`	Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. PLAS@ECOOP Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014	—	`conf`	Information Flow Control in WebKit's JavaScript Bytecode. POST Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014	J	`jnl`	Information Flow Control in WebKit's JavaScript Bytecode. CoRR Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014	—	`conf`	Privacy-preserving audit for broker-based health information exchange. CODASPY Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
2014	A*	`conf`	Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
2013	J	`jnl`	Dependent Type Theory for Verification of Information Flow and Access Control Policies. ACM Trans. Program. Lang. Syst. Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
2012	A*	`conf`	Countermodels from Sequent Calculi in Multi-Modal Logics. LICS Deepak Garg, Valerio Genovese, Sara Negri
2012	—	`conf`	Labeled Goal-Directed Search in Access Control Logic. STM Valerio Genovese, Deepak Garg, Daniele Rispoli
2012	A	`conf`	Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. CSF Valerio Genovese, Deepak Garg, Daniele Rispoli
2012	J	`jnl`	Stateful authorization logic - Proof theory and a case study. J. Comput. Secur. Deepak Garg, Frank Pfenning
2012	A	`conf`	Superficially substructural types. ICFP Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
2011	J	`jnl`	A Logical Method for Policy Enforcement over Evolving Audit Logs CoRR Deepak Garg, Limin Jia, Anupam Datta
2011	—	`conf`	A Proof-Carrying File System with Revocable and Use-Once Certificates. STM Jamie Morgenstern, Deepak Garg, Frank Pfenning
2011	—	`conf`	New Modalities for Access Control Logics: Permission, Control and Ratification. STM Valerio Genovese, Deepak Garg
2011	J	`jnl`	On Adversary Models and Compositional Security. IEEE Secur. Priv. Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
2011	A*	`conf`	Policy auditing over incomplete logs: theory, implementation and applications. CCS Deepak Garg, Limin Jia, Anupam Datta
2011	Misc	`conf`	Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
2011	A*	`conf`	Verification of Information Flow and Access Control Policies with Dependent Types. IEEE Symposium on Security and Privacy Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
2010	A*	`conf`	A Proof-Carrying File System. IEEE Symposium on Security and Privacy Deepak Garg, Frank Pfenning
2010	B	`conf`	Compositional System Security with Interface-Confined Adversaries. MFPS Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, Anupam Datta
2010	—	`conf`	Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
2010	—	`ed.`	Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, PLAS 2010, Toronto, ON, Canada, 10 June, 2010 PLAS Anindya Banerjee, Deepak Garg
2010	—	`conf`	Stateful Authorization Logic: - Proof Theory and a Case Study. STM Deepak Garg, Frank Pfenning
2009	A*	`conf`	A Logic of Secure Systems and its Application to Trusted Computing. SP Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar
2009	A	`conf`	PCAL: Language Support for Proof-Carrying Authorization Systems. ESORICS Avik Chaudhuri, Deepak Garg
2008	B	`conf`	A Modal Deconstruction of Access Control Logics. FoSSaCS Deepak Garg, Martín Abadi
2008	A	`conf`	An Authorization Logic With Explicit Time. CSF Henry DeYoung, Deepak Garg, Frank Pfenning
2007	A*	`conf`	Consumable Credentials in Linear-Logic-Based Access-Control Systems. NDSS Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter
2006	A	`conf`	A Linear Logic of Authorization and Knowledge. ESORICS Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter
2006	—	`conf`	Non-Interference in Constructive Authorization Logic. CSFW Deepak Garg, Frank Pfenning
2005	B	`conf`	Type-Directed Concurrency. CONCUR Deepak Garg, Frank Pfenning
2004	—	`conf`	Effective Chemistry for Synchrony and Asynchrony. IFIP TCS Deepak Garg, Akash Lal, Sanjiva Prasad