Quicklinks

Portrait of Person: Deepak Garg

Deepak Garg (Professor)
 
 Campus E1 5 | 66123 Saarbrücken | 412

Publications:

Title Date Date
 2015
CSF
2015
 Anupam Datta, Deepak Garg, Limin Jia, Shayak Sen
 NRA2
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2011
2011
 Deepak Garg, Limin Jia, Anupam Datta
 
 CoRR
 2011
2011
 Jamie Morgenstern, Deepak Garg, Frank Pfenning
 
 Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
 2017
2017
 Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
 
 PACMPL
 2016
ICFP
2016
 Deepak Garg, Ezgi Çiçek, Zoe Paraskevopoulou
 NRA2
 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16)
 2017
2017
 Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
 
 CoRR
 2016
2016
 Deepak Garg, Iulia Bolosteanu
 NRA2
 Proceedings of Principles of Security and Trust - 5th International Conference (POST '16)
 2019
EuroSys
2019
 Ajay Brahmakshatriya, Piyus Kedia, Hamed Nemati, Derrick McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
 
 Proceedings of the Fourteenth EuroSys Conference 2019
 2018
IEEE EuroS&P
2018
 Ajay Brahmakshatriya, Piyus Kedia, Hamed Nemati, Derrick McKee, Pratik Bhatu, Deepak Garg, Akash Lal, Aseem Rastogi
 
 In Submission
 2019
2019
 Robert Künnemann, Deepak Garg, Michael Backes
 NRA2 , NRA4
 4th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
 2016
CONCUR
2016
 Deepak Garg, James Cheney, Roly Perera
 NRA2
 Proceedings of the 27th International Conference on Concurrency Theory (CONCUR '16)
 2012
LICS
2012
 Deepak Garg, Valerio Genovese, Sara Negri
 NRA2
 Proc. of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
 2013
2013
 Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
 NRA2
 ACM Transactions on Programming Languages and Systems
 2018
2018
 Anjo Vahldiek-Oberwanger, Eslam Elnikety, Deepak Garg, Peter Druschel
 
 CoRR
 2015
CCS
2015
 Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
 NRA2
 Proceedings of the 22nd ACM conference on Computer and communications security (ACM CCS 2015)
 2014
2014
 Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
 NRA2
 Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security
 2015
EuroSys
2015
 Aastha Mehta, Anjo Vahldiek-Oberwanger, Ansley Post, Deepak Garg, Eslam Elnikety, Johannes Gehrke, Peter Druschel, Rodrigo Rodrigues
 NRA2
 Proceedings of the 10th European Conference on Computer Systems (EuroSys '15)
 2015
CSF
2015
 Abhishek Bichhawat, Christian Hammer, Deepak Garg, Vineet Rajani
 NRA2
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2014
2014
 Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
 NRA2
 2012
2012
 Valerio Genovese, Deepak Garg, Daniele Rispoli
 NRA2
 Proc. of the 8th International Workshop on Security and Trust Management (STM 2012)
 2012
CSF
2012
 Valerio Genovese, Deepak Garg, Daniele Rispoli
 NRA2
 Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF '12)
 2016
OSDI
2016
 Anjo Vahldiek-Oberwanger, Bobby Bhattacharjee, Deepak Garg, Eslam Elnikety, Peter Druschel, James Litton
 NRA2
 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)
 2018
2018
 Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Florian Zuleger
 
 PACMPL
 2011
2011
 Valerio Genovese, Deepak Garg
 
 Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
 2016
CSF
2016
 Deepak Garg, Tamara Rezk, Vineet Rajani
 NRA2
 Proceedings of the 29th Computer Security Foundations Symposium 2016 (CSF '16)
 2011
2011
 Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Limin Jia, Jason Franklin
 NRA2
 IEEE Security & Privacy
 2011
CCS
2011
 Anupam Datta, Deepak Garg, Limin Jia
 NRA2
 Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS '11)
 2014
2014
 Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
 NRA2
 Proceedings of the 4th ACM conference on Data and application security and privacy (CODASPY'14)
 2015
CSF
2015
 Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
 NRA2
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2016
2016
 Deepak Garg, Willard Rafnsson, Andrei Sabelfeld
 NRA2
 Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS '16)
 2017
USENIX-Security
2017
 Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel
 NRA2
 26th USENIX Security Symposium (USENIX Security 17)
 2015
ESOP
2015
 Deepak Garg, Ezgi Çiçek, Umut A. Acar
 NRA2
 Proceedings of the 24th European Symposium on Programming (ESOP '15)
 2017
POPL
2017
 Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
 NRA2
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2017
2017
 Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Marco Stronati, David Swasey
 NRA2
 1st Workshop on Principles of Secure Compilation
 2017
2017
 David Swasey, Deepak Garg, Derek Dreyer
 NRA2
 OOPSLA
 2017
CSF
2017
 Marco Patrignani, Deepak Garg
 
 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
 2018
2018
 Eslam Elnikety, Deepak Garg, Peter Druschel
 
 CoRR
 2012
2012
 Deepak Garg, Frank Pfenning
 NRA2
 Journal of Computer Security
 2012
ICFP
2012
 Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
 NRA2
 ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)
 2015
2015
 Anupam Datta, Deepak Garg, Limin Jia, Shayak Sen
 NRA2
 The Computing Research Repository (CoRR)
 2016
USENIX-Security
2016
 Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwanger, Deepak Garg, Peter Druschel
 NRA2
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2014
CSF
2014
 Anupam Datta, Deepak Garg, Limin Jia, Omar Chowdhury
 NRA2
 Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF '14)
 2014
CAV
2014
 Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
 NRA2
 Proc. 26th International Conference on Computer Aided Verification (CAV 2014)
 2016
USENIX-Security
2016
 Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwanger, Deepak Garg, Peter Druschel
 NRA2
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2012
FAST
2012
 Anjo Vahldiek, Eslam Elnikety, Ansley Post, Peter Druschel, Deepak Garg, Johannes Gehrke, Rodrigo Rodrigues
 NRA2
 Presented at USENIX FAST'12 WiP
 2017
2017
 Vineet Rajani, Iulia Bastys, Willard Rafnsson, Deepak Garg
 
 SIGLOG News
 2011
2011
 Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
 NRA2
 Proc. of the 7th International Conference Information Systems Security (ICISS 2011)
 2011
IEEE S&P
2011
 Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
 NRA2
 Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11)
 2017
ESORICS
2017
 Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
 
 Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I