Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Deepak Garg

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

Publications:

Title Date Date
 2017
2017
 Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Marco Stronati, David Swasey
 1st Workshop on Principles of Secure Compilation
 2017
POPL
2017
 Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann
 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
 2017
USENIX-Security
2017
 Aastha Mehta, Eslam Elnikety, Katura Harvey, Deepak Garg, Peter Druschel
 26th USENIX Security Symposium (USENIX Security 17)
 2017
2017
 David Swasey, Deepak Garg, Derek Dreyer
 OOPSLA
 2016
OSDI
2016
 Anjo Vahldiek-Oberwanger, Bobby Bhattacharjee, Deepak Garg, Eslam Elnikety, Peter Druschel, James Litton
 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI '16)
 2016
CONCUR
2016
 Deepak Garg, James Cheney, Roly Perera
 Proceedings of the 27th International Conference on Concurrency Theory (CONCUR '16)
 2016
USENIX-Security
2016
 Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwanger, Deepak Garg, Peter Druschel
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2016
USENIX-Security
2016
 Eslam Elnikety, Aastha Mehta, Anjo Vahldiek-Oberwanger, Deepak Garg, Peter Druschel
 Proceedings of the 25th USENIX Security Symposium (USENIX Security '16)
 2016
CSF
2016
 Deepak Garg, Tamara Rezk, Vineet Rajani
 Proceedings of the 29th Computer Security Foundations Symposium 2016 (CSF '16)
 2016
2016
 Deepak Garg, Willard Rafnsson, Andrei Sabelfeld
 Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS '16)
 2016
2016
 Deepak Garg, Iulia Bolosteanu
 Proceedings of Principles of Security and Trust - 5th International Conference (POST '16)
 2016
ICFP
2016
 Deepak Garg, Ezgi Çiçek, Zoe Paraskevopoulou
 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16)
 2015
CCS
2015
 Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
 Proceedings of the 22nd ACM conference on Computer and communications security (ACM CCS 2015)
 2015
CSF
2015
 Abhishek Bichhawat, Christian Hammer, Deepak Garg, Vineet Rajani
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2015
CSF
2015
 Anupam Datta, Deepak Garg, Limin Jia, Shayak Sen
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2015
CSF
2015
 Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Divya Sharma, Arunesh Sinha
 Proceedings of the 28th Computer Security Foundations Symposium (CSF '15)
 2015
EuroSys
2015
 Aastha Mehta, Anjo Vahldiek-Oberwanger, Ansley Post, Deepak Garg, Eslam Elnikety, Johannes Gehrke, Peter Druschel, Rodrigo Rodrigues
 Proceedings of the 10th European Conference on Computer Systems (EuroSys '15)
 2015
ESOP
2015
 Deepak Garg, Ezgi Çiçek, Umut A. Acar
 Proceedings of the 24th European Symposium on Programming (ESOP '15)
 2015
2015
 Anupam Datta, Deepak Garg, Limin Jia, Shayak Sen
 The Computing Research Repository (CoRR)
 2014
CSF
2014
 Anupam Datta, Deepak Garg, Limin Jia, Omar Chowdhury
 Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF '14)
 2014
2014
 Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
 Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security
 2014
2014
 Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
 2014
CAV
2014
 Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
 Proc. 26th International Conference on Computer Aided Verification (CAV 2014)
 2014
2014
 Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
 Proceedings of the 4th ACM conference on Data and application security and privacy (CODASPY'14)
 2013
2013
 Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
 ACM Transactions on Programming Languages and Systems
 2012
CSF
2012
 Valerio Genovese, Deepak Garg, Daniele Rispoli
 Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF '12)
 2012
LICS
2012
 Deepak Garg, Valerio Genovese, Sara Negri
 Proc. of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
 2012
2012
 Deepak Garg, Frank Pfenning
 Journal of Computer Security
 2012
2012
 Valerio Genovese, Deepak Garg, Daniele Rispoli
 Proc. of the 8th International Workshop on Security and Trust Management (STM 2012)
 2012
ICFP
2012
 Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
 ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)
 2012
FAST
2012
 Anjo Vahldiek, Eslam Elnikety, Ansley Post, Peter Druschel, Deepak Garg, Johannes Gehrke, Rodrigo Rodrigues
 Presented at USENIX FAST'12 WiP
 2011
CCS
2011
 Anupam Datta, Deepak Garg, Limin Jia
 Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS '11)
 2011
SandP
2011
 Aleksandar Nanevski, Anindya Banerjee, Deepak Garg
 Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11)
 2011
2011
 Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
 Proc. of the 7th International Conference Information Systems Security (ICISS 2011)
 2011
2011
 Anupam Datta, Deepak Garg, Dilsun Kirli Kaynar, Limin Jia, Jason Franklin
 IEEE Security & Privacy