Deepak Garg
Orcid: 0000-0002-0888-3093Affiliations:
- Max Planck Institute for Software Systems, Saarbrücken, Germany
- Carnegie Mellon University, School of Computer Science, Pittsburgh, PA, USA (former)
According to our database1,
Deepak Garg
authored at least 109 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on mpi-sws.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques, 2024
2023
Proc. ACM Program. Lang., April, 2023
Proc. ACM Program. Lang., January, 2023
Found. Trends Program. Lang., 2023
Proceedings of the 29th Symposium on Operating Systems Principles, 2023
Proceedings of the Eighteenth European Conference on Computer Systems, 2023
2022
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow.
CoRR, 2022
Proceedings of the 31st USENIX Security Symposium, 2022
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.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
2021
ACM Trans. Program. Lang. Syst., 2021
ACM Trans. Program. Lang. Syst., 2021
Proc. ACM Program. Lang., 2021
Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Proc. ACM Program. Lang., 2021
J. Funct. Program., 2021
J. Comput. Secur., 2021
RefinedC: automating the foundational verification of C code with refined ownership types.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle.
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2020
J. Comput. Secur., 2020
Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020
Proceedings of the Programming Languages and Systems, 2020
2019
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
Proc. ACM Program. Lang., 2019
Proc. ACM Program. Lang., 2019
Proceedings of the 4th Workshop on Formal Reasoning about Causation, 2019
Proceedings of the 28th USENIX Security Symposium, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019
Proceedings of the Programming Languages and Systems, 2019
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
2018
CoRR, 2018
Proceedings of the Principles of Security and Trust - 7th International Conference, 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
2017
ACM SIGLOG News, 2017
Proc. ACM Program. Lang., 2017
IACR Cryptol. ePrint Arch., 2017
CoRR, 2017
CoRR, 2017
Proceedings of the 26th USENIX Security Symposium, 2017
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the Computer Security - ESORICS 2017, 2017
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
2016
Proceedings of the 25th USENIX Security Symposium, 2016
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Engineering Secure Software and Systems - 8th International Symposium, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Proceedings of the Tenth European Conference on Computer Systems, 2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015
2014
Proceedings of the Principles of Security and Trust - Third International Conference, 2014
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014
Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Dependent Type Theory for Verification of Information Flow and Access Control Policies.
ACM Trans. Program. Lang. Syst., 2013
2012
J. Comput. Secur., 2012
Proceedings of the Security and Trust Management - 8th International Workshop, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction.
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012
2011
Proceedings of the Security and Trust Management - 7th International Workshop, 2011
Proceedings of the Security and Trust Management - 7th International Workshop, 2011
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
Proceedings of the Information Systems Security - 7th International Conference, 2011
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010
2009
Proceedings of the 30th IEEE Symposium on Security and Privacy (SP 2009), 2009
Proceedings of the Computer Security, 2009
2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008
2007
Proceedings of the Network and Distributed System Security Symposium, 2007
2006
Proceedings of the Computer Security, 2006
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006
2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
2004
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004