Deepak Garg
发表
Pratik Narang,
Balmukund Mishra,
Deepak Garg,
2020,
Neural Computing and Applications.
Deepak Garg,
Manoj Manuja,
D. Garg,
2015
.
Deepak Garg,
Vineet Rajani,
Christian Hammer,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Deepak Garg,
Vineet Rajani,
Christian Hammer,
2014,
PLAS@ECOOP.
Deepak Garg,
Anshul Chandel,
2017
.
Aseem Rastogi,
Deepak Garg,
Hamed Nemati,
2019,
EuroSys.
Deepak Garg,
Anindya Banerjee,
Aleksandar Nanevski,
2013,
TOPL.
Deepak Garg,
Kuldeep Sharma,
2011
.
Marco Patrignani,
Deepak Garg,
2019,
ESOP.
Dilsun Kirli Kaynar,
Limin Jia,
Deepak Garg,
2010,
WPES '10.
Deepak Garg,
Abhishek ku. Shakya,
Prakash Ch. Nayak,
2018
.
Frank Pfenning,
Deepak Garg,
F. Pfenning,
2005,
CONCUR.
Dilsun Kirli Kaynar,
Nicolas Christin,
Limin Jia,
2011,
ICISS.
Deepak Garg,
Manoj Manuja,
D. Garg,
2014
.
Frank Pfenning,
Deepak Garg,
Jamie Morgenstern,
2011,
STM.
Deepak Garg,
Zoe Paraskevopoulou,
Ezgi Çiçek,
2016,
ICFP.
Marco Patrignani,
Deepak Garg,
2018,
ArXiv.
Dilsun Kirli Kaynar,
Deepak Garg,
Anupam Datta,
2010,
MFPS.
Dilsun Kirli Kaynar,
Deepak Garg,
Anupam Datta,
2009,
2009 30th IEEE Symposium on Security and Privacy.
Deepak Garg,
Anshul Chadel,
D. Garg,
2016
.
Deepak Garg,
Sara Negri,
Valerio Genovese,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
James Cheney,
Deepak Garg,
Roly Perera,
2016,
CONCUR.
Sanjit Chatterjee,
Aniket Kate,
Deepak Garg,
2017,
IACR Cryptol. ePrint Arch..
Dilsun Kirli Kaynar,
Limin Jia,
Deepak Garg,
2011,
IEEE Security & Privacy.
Peter Druschel,
Deepak Garg,
Eslam Elnikety,
2017,
USENIX Security Symposium.
Deepak Garg,
Vineet Rajani,
D. Garg,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Roberto Blanco,
Marco Patrignani,
Catalin Hritcu,
2018,
ArXiv.
Deepak Garg,
Vipul Garg,
Shalini Goel,
2019
.
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2017,
Proc. ACM Program. Lang..
Marco Patrignani,
Deepak Garg,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Deepak Garg,
2011
.
Michael Backes,
Deepak Garg,
Robert Künnemann,
2018,
IACR Cryptol. ePrint Arch..
A Research Paper of Existing Live VM Migration and a Hybrid VM Migration Approach in Cloud Computing
Deepak Garg,
Poonam Saini,
Prakash Ch. Nayak,
2018,
2018 2nd International Conference on Trends in Electronics and Informatics (ICOEI).
Deepak Garg,
Andrei Sabelfeld,
Willard Rafnsson,
2016,
ESSoS.
Lujo Bauer,
Michael K. Reiter,
Frank Pfenning,
2006,
ESORICS.
Frank Pfenning,
Deepak Garg,
2010,
STM.
Deepak Garg,
Valerio Genovese,
2011,
STM.
Peter Druschel,
Rodrigo Rodrigues,
Deepak Garg,
2014
.
Bobby Bhattacharjee,
Peter Druschel,
Aniket Kate,
2018,
ArXiv.
Lujo Bauer,
Michael K. Reiter,
Frank Pfenning,
2007,
NDSS.
Frank Pfenning,
Deepak Garg,
2006,
19th IEEE Computer Security Foundations Workshop (CSFW'06).
Gilles Barthe,
Marco Gaboardi,
Lars Birkedal,
2018,
ESOP.
Deepak Garg,
Vineet Rajani,
Christian Hammer,
2014,
POST.
Deepak Garg,
Vineet Rajani,
Marco Gaboardi,
2021,
Proc. ACM Program. Lang..
Deepak Garg,
Sanjiva Prasad,
Akash Lal,
2004,
IFIP TCS.
Frank Pfenning,
Deepak Garg,
2012,
J. Comput. Secur..
Avik Chaudhuri,
Deepak Garg,
2009,
ESORICS.
Deepak Garg,
Vineet Rajani,
Christian Hammer,
2017,
ESORICS.
Deepak Garg,
Tamara Rezk,
Vineet Rajani,
2016,
2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Deepak Garg,
Pallvi Garg,
2015
.
Limin Jia,
Deepak Garg,
Anupam Datta,
2015,
CCS.
Deepak Garg,
Vineet Rajani,
Willard Rafnsson,
2017,
SIGL.
Derek Dreyer,
Aaron Turon,
Deepak Garg,
2012,
ICFP '12.
Deepak Garg,
Iulia Bolosteanu,
2016,
POST.
Deepak Garg,
Valerio Genovese,
Daniele Rispoli,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Limin Jia,
Deepak Garg,
Anupam Datta,
2014,
ArXiv.
Frank Piessens,
Catalin Hritcu,
Deepak Garg,
2018,
Dagstuhl Reports.
Deepak Garg,
Valerio Genovese,
Daniele Rispoli,
2012,
STM.
Martín Abadi,
Deepak Garg,
M. Abadi,
2008,
FoSSaCS.
Paul Francis,
Deepak Garg,
Matteo Maffei,
2018,
POST.
Deepak Garg,
Shalli Rani,
D. Garg,
2020,
Journal of Computational and Theoretical Nanoscience.
Frank Pfenning,
Deepak Garg,
F. Pfenning,
2010,
2010 IEEE Symposium on Security and Privacy.
Deepak Garg,
Jitesh Pati Tripathi,
2010
.
Frank Pfenning,
Deepak Garg,
Henry DeYoung,
2008,
2008 21st IEEE Computer Security Foundations Symposium.
Limin Jia,
Carl A. Gunter,
Deepak Garg,
2014,
CODASPY '14.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2018,
Proc. ACM Program. Lang..
Deepak Garg,
Anindya Banerjee,
Aleksandar Nanevski,
2011,
2011 IEEE Symposium on Security and Privacy.
Seema Sharma,
Deepak Garg,
Shweta Bhardwaj,
2012
.
Umut A. Acar,
Deepak Garg,
Ezgi Çiçek,
2015,
ESOP.
Deepak Garg,
Shishupal Sidar,
Gourav Chandel,
2020
.
Deepak Garg,
Limin Jia,
Anupam Datta,
2015
.
Marco Gaboardi,
Deepak Garg,
Weihao Qu,
2019,
Proc. ACM Program. Lang..
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2018,
PLDI.
P. S. Grover,
Deepak Garg,
Bhawna Mallick,
2013
.
Marco Patrignani,
Catalin Hritcu,
Deepak Garg,
2017,
ArXiv.
Aseem Rastogi,
Deepak Garg,
Akash Lal,
2017,
ArXiv.
Deepak Garg,
Ritika Angrish,
D. Garg,
2011
.
Derek Dreyer,
Deepak Garg,
David Swasey,
2017,
Proc. ACM Program. Lang..
Deian Stefan,
Alejandro Russo,
Deepak Garg,
2019,
Proc. ACM Program. Lang..
Aseem Rastogi,
Deepak Garg,
Hamed Nemati,
2018
.
Limin Jia,
Deepak Garg,
Anupam Datta,
2011,
ArXiv.
Limin Jia,
Deepak Garg,
Anupam Datta,
2011,
CCS '11.
Deepak Garg,
Manoj Manuja,
D. Garg,
2011
.
Dilsun Kirli Kaynar,
Deepak Garg,
Anupam Datta,
2015,
2015 IEEE 28th Computer Security Foundations Symposium.
Limin Jia,
Deepak Garg,
Anupam Datta,
2014,
CAV.
P. S. Grover,
Deepak Garg,
Mallick Bhawna,
2013
.
Peter Druschel,
Deepak Garg,
Eslam Elnikety,
2018,
ArXiv.
Shravan Narayan,
Deian Stefan,
Ranjit Jhala,
2021,
Proc. ACM Program. Lang..
Marco Patrignani,
Deepak Garg,
D. Garg,
2021,
ACM Trans. Program. Lang. Syst..
Deepak Garg,
Vineet Rajani,
Christian Hammer,
2021,
J. Comput. Secur..
Deepak Garg,
Pardeep Kumar,
2021,
Int. J. Swarm Intell. Res..
Gilles Barthe,
Marco Gaboardi,
Deepak Garg,
2021,
Proc. ACM Program. Lang..
Deepak Garg,
Andrew K. Hirsch,
2022,
Proceedings of the ACM on Programming Languages.
Derek Dreyer,
Robbert Krebbers,
Deepak Garg,
2021,
PLDI.
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
pdf
Roberto Blanco,
Catalin Hritcu,
Deepak Garg,
2021,
ArXiv.
Michael Backes,
Deepak Garg,
Robert Künnemann,
2021,
2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Roberto Blanco,
Marco Patrignani,
Deepak Garg,
2021,
ACM Trans. Program. Lang. Syst..
Deepak Garg,
Mithilesh Kumar Pandey,
Neeraj Kumar Agrahari,
2021,
Innovations in Computer Science and Engineering.
Deepak Garg,
2009
.
Marco Patrignani,
Deepak Garg,
Carmine Abate,
2017
.
Chintan Jain,
Deepak Garg,
Shivani Goel,
2010
.
Deepak Garg,
Srabanti Maji,
D. Garg,
2014
.
Marco Patrignani,
Deepak Garg,
Cătălin Hriţcu,
2017
.
Deepak Garg,
D. Garg,
2008
.
Deepak Garg,
Anupam Datta,
Henry DeYoung,
2010
.
Deepak Garg,
Limin Jia,
Anupam Datta,
2010
.
Manisha Sharma,
Deepak Garg,
Harendra Kumar,
2012
.
Deepak Garg,
2009
.
Gilles Barthe,
Marco Gaboardi,
Justin Hsu,
2018,
POPL 2019.
Michael Carl Tschantz,
Deepak Garg,
D. Garg,
2008
.