What a lovely hat
Is it made out of
tin foil
?
DBLP data
CryptoDB
Cryptobib
Deepak Garg
Google Scholar
16
publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
CoVault: Secure, Scalable Analytics of Personal Data.
Roberta De Viti
Isaac Sheff
Noemi Glaeser
Baltasar Dinis
Rodrigo Rodrigues
Bobby Bhattacharjee
Anwar Hithnawi
Deepak Garg
Peter Druschel
2022
conf/uss
Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud.
Aastha Mehta
Mohamed Alzayat
Roberta De Viti
Björn B. Brandenburg
Peter Druschel
Deepak Garg
2020
conf/ndss
Finding Safety in Numbers with Secure Allegation Escrows.
Venkat Arun
Aniket Kate
Deepak Garg
Peter Druschel
Bobby Bhattacharjee
2019
conf/uss
ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK).
Anjo Vahldiek-Oberwagner
Eslam Elnikety
Nuno O. Duarte
Michael Sammler
Peter Druschel
Deepak Garg
2017
conf/uss
Qapla: Policy compliance for database-backed systems.
Aastha Mehta
Eslam Elnikety
Katura Harvey
Deepak Garg
Peter Druschel
2017
conf/esorics
WebPol: Fine-Grained Information Flow Policies for Web Browsers.
Abhishek Bichhawat
Vineet Rajani
Jinank Jain
Deepak Garg
Christian Hammer
2016
conf/uss
Thoth: Comprehensive Policy Compliance in Data Retrieval Systems.
Eslam Elnikety
Aastha Mehta
Anjo Vahldiek-Oberwagner
Deepak Garg
Peter Druschel
2015
conf/ccs
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
Omar Chowdhury
Deepak Garg
Limin Jia
Anupam Datta
2011
conf/ccs
Policy auditing over incomplete logs: theory, implementation and applications.
Deepak Garg
Limin Jia
Anupam Datta
2011
conf/sp
Verification of Information Flow and Access Control Policies with Dependent Types.
Aleksandar Nanevski
Anindya Banerjee
Deepak Garg
2011
conf/iciss
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
2010
conf/sp
A Proof-Carrying File System.
Deepak Garg
Frank Pfenning
2009
conf/sp
A Logic of Secure Systems and its Application to Trusted Computing.
Anupam Datta
Jason Franklin
Deepak Garg
Dilsun Kirli Kaynar
2009
conf/esorics
PCAL: Language Support for Proof-Carrying Authorization Systems.
Avik Chaudhuri
Deepak Garg
2007
conf/ndss
Consumable Credentials in Linear-Logic-Based Access-Control Systems.
Kevin D. Bowers
Lujo Bauer
Deepak Garg
Frank Pfenning
Michael K. Reiter
2006
conf/esorics
A Linear Logic of Authorization and Knowledge.
Deepak Garg
Lujo Bauer
Kevin D. Bowers
Frank Pfenning
Michael K. Reiter
Coauthors
Aastha Mehta
(3)
Abhishek Bichhawat
(1)
Aleksandar Nanevski
(1)
Aniket Kate
(1)
Anindya Banerjee
(1)
Anjo Vahldiek-Oberwagner
(2)
Anupam Datta
(4)
Anwar Hithnawi
(1)
Arunesh Sinha
(1)
Avik Chaudhuri
(1)
Baltasar Dinis
(1)
Björn B. Brandenburg
(1)
Bobby Bhattacharjee
(2)
Christian Hammer
(1)
Deepak Garg
(16)
Dilsun Kirli Kaynar
(2)
Eslam Elnikety
(3)
Frank Pfenning
(3)
Henry DeYoung
(1)
Isaac Sheff
(1)
Jason Franklin
(1)
Jeremiah Blocki
(1)
Jinank Jain
(1)
Katura Harvey
(1)
Kevin D. Bowers
(2)
Limin Jia
(3)
Lujo Bauer
(2)
Michael K. Reiter
(2)
Michael Sammler
(1)
Mohamed Alzayat
(1)
Nicolas Christin
(1)
Noemi Glaeser
(1)
Nuno O. Duarte
(1)
Omar Chowdhury
(1)
Peter Druschel
(6)
Roberta De Viti
(2)
Rodrigo Rodrigues
(1)
Venkat Arun
(1)
Vineet Rajani
(1)
Filters
Crypto
Eurocrypt
Asiacrypt
Public Key Cryptography
Theory of Cryptography
Journal of Cryptology
Transactions on Symmetric Cryptology
Transactions on Cryptographic Hardware and Embedded Computing
Communications in Cryptology
Fast Software Encryption
Cryptographic Hardware and Embedded Computing Conference
Usenix Security
IEEE Security and Privacy
ACM CCS
Network and Distributed System Security
Financial cryptography
Cryptographer's Track at RSA Conference (CT-RSA)
ESORICS
IEEE Transactions on Information Forensics and Security
Computers & Security
Journal of Information Security and Applications
IEEE Conference on Blockchains and Cryptocurrency (ICBC)
Asia CCS
European Security & privacy
Symposium on Useful Privacy and Security
Privacy Enhancing Technologies
Security and Privacy in Communication Networks
Cryptology and Network Security
Annual Computer Security Applications Conference
Dependable Systems and Networks
IEEE Computer Security Foundations Workshop
IEEE Conference and Communications and Network Security
International Conference on Applied Cryptography and Network Security
Selected Areas in Cryptology
International Conference on Information Security and Cryptology (ICISC)
International Conference on Information and Communication (ICICS)
IFIP International Information Security Conference (SEC)
Conference on Security and Privacy in Wireless and Mobile Networks (WISEC)
IEEE International Symposium on Hardware Oriented Security and Trust
New Security Paradigms Workshop
Information Hiding and Multimedia Security Workshop
Australasian Conference on Information Security and Privacy
AfricaCrypt
LatinCrypt
International Conference on Cyber Security and Resilience
Asia Joint Conference on information Security
International Conference on information Security Applications
ACM Asia Public-Key Cryptography Workshop
International Workshop on Lightweight Cryptography for Security and Privacy
Workshop on Fault Detection and Tolerance in Cryptography
International Conference on Blockchain Technology and Emerging Technologies
Provable Security
Cloud Computing Security Workshop (CCSW)
International Workshop on Security (IWSEC)
International Conference on Information System Security (ICISS)
Select all
Unselect all
Years:
to