D. Garg

发表

Kevin D. Bowers, M. Reiter, Lujo Bauer, 2006 .

Dilsun Kirli Kaynar, Nicolas Christin, Limin Jia, 2011, ICISS.

D. Garg, Anupam Datta, Limin Jia, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Marco Patrignani, Deepak Garg, Carmine Abate, 2017 .

Marco Gaboardi, D. Garg, Ezgi Çiçek, 2016 .

Deepak Garg, D. Garg, 2008 .

Anupam Datta, Deepak Garg, Divya Sharma, 2015, ArXiv.

J. Cheney, R. Perera, D. Garg, 2016 .

Deepak Garg, D. Garg, 2015 .

Deepak Garg, Hareshkumar Navadiya, D. Garg, 2013 .

Deepak Garg, Monika Mangla, D. Garg, 2017, Turkish J. Electr. Eng. Comput. Sci..

Deepak Garg, Gagandeep Kaur, Surbhi Verma, 2020 .

D. Garg, Carmine Abate, Roberto Blanco, 2019 .

Catalin Hritcu, D. Garg, Roberto Blanco, 2021, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

Michael Backes, Deepak Garg, Robert Künnemann, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Deepak Garg, Anshul Chadel, D. Garg, 2016 .

Roberto Blanco, Marco Patrignani, Deepak Garg, 2021, ACM Trans. Program. Lang. Syst..

Catalin Hritcu, Mathias Payer, D. Garg, 2017 .

Deepak Garg, Limin Jia, Anupam Datta, 2015 .

Marco Patrignani, Deepak Garg, D. Garg, 2021, ACM Trans. Program. Lang. Syst..

Deepak Garg, Manoj Manuja, D. Garg, 2014 .

Deepak Garg, Vineet Rajani, Christian Hammer, 2017, ESORICS.

Deepak Garg, Shalli Rani, D. Garg, 2020, Journal of Computational and Theoretical Nanoscience.

Michael Backes, Deepak Garg, Robert Künnemann, 2018, IACR Cryptol. ePrint Arch..

Deepak Garg, Rattan Rana, D. Garg, 2009, 2009 IEEE International Advance Computing Conference.

Bernhard Schölkopf, Matthew Lentz, Manuel Gomez-Rodriguez, 2020, ArXiv.

Bobby Bhattacharjee, Peter Druschel, Aniket Kate, 2018, ArXiv.

Seema Verma, Deepak Garg, D. Garg, 2014 .

Mahima Singh, Deepak Garg, D. Garg, 2009, 2009 IEEE International Advance Computing Conference.

Dilsun Kirli Kaynar, Deepak Garg, Anupam Datta, 2009, 2009 30th IEEE Symposium on Security and Privacy.

Deepak Garg, Sunita, D. Garg, 2018, J. King Saud Univ. Comput. Inf. Sci..

Deepak Garg, Parth Patel, D. Garg, 2014, 2014 IEEE International Advance Computing Conference (IACC).

Parth Patel, Deepak Garg, D. Garg, 2012, ArXiv.

D. Garg, Kuldeep Sharma, 2011 .

Deepak Garg, Aditya Dev Mishra, D. Garg, 2009 .

Deepak Garg, Sudhanshu Gupta, D. Garg, 2009, 2009 IEEE International Advance Computing Conference.

Sudhanshu Gupta, Deepak Garg, D. Garg, 2009 .

Jagpreet Sidhu, Shalli Rani, Deepak Garg, 2019, IET Softw..

Pierre-Yves Strub, Marco Gaboardi, Deepak Garg, 2017, Journal of Functional Programming.

Seema Verma, Deepak Garg, D. Garg, 2015, Int. Arab J. Inf. Technol..

Jagpreet Sidhu, Shalli Rani, Deepak Garg, 2019, Comput. Stand. Interfaces.

P. S. Grover, Bhawna Mallick, Deepak Garg, 2014, J. Comput. Inf. Technol..

Deepak Garg, Anika Gupta, D. Garg, 2014, 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

Sanjit Chatterjee, Deepak Garg, P. K. Purkait, 2009 .

P. Druschel, D. Garg, Jonathan Mace, 2022, EuroSys.

Aseem Rastogi, Deepak Garg, Hamed Nemati, 2019, EuroSys.

Peter Druschel, Deepak Garg, Eslam Elnikety, 2019, USENIX Security Symposium.

Peter Druschel, James Litton, Bobby Bhattacharjee, 2016, OSDI.

Peter Druschel, Anjo Vahldiek-Oberwagner, Eslam Elnikety, 2018, ArXiv.

Deepak Garg, K. V. R. Kumar, D. Garg, 2009 .

Dominique Devriese, Marco Patrignani, Frank Piessens, 2020, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2019, ESOP.

Dilsun Kirli Kaynar, Limin Jia, Deepak Garg, 2010, WPES '10.

Prashant Singh Rana, Deepak Garg, Ashish Kumar, 2017 .

Prashant Singh Rana, Ashish Kumar, Deepak Garg, 2015, 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

James Cheney, Deepak Garg, Roly Perera, 2016, CONCUR.

Deepak Garg, Tamara Rezk, Vineet Rajani, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Shravan Narayan, Deian Stefan, Ranjit Jhala, 2021, Proc. ACM Program. Lang..

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Dilsun Kirli Kaynar, Deepak Garg, Anupam Datta, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Dilsun Kirli Kaynar, Limin Jia, Deepak Garg, 2011, IEEE Security & Privacy.

Deepak Garg, Monika Mangla, D. Garg, 2018 .

Derek Dreyer, Tadeusz Litak, Deepak Garg, 2019, Proc. ACM Program. Lang..

Deepak Garg, Vikas Chawla, V. Chawla, 2016 .

Limin Jia, Deepak Garg, Anupam Datta, 2011, CCS '11.

Michael Carl Tschantz, Deepak Garg, D. Garg, 2008 .

Gilles Barthe, Marco Gaboardi, Lars Birkedal, 2018, ESOP.

Gilles Barthe, Marco Gaboardi, Deepak Garg, 2017, Proc. ACM Program. Lang..

Deepak Garg, Sara Negri, Valerio Genovese, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

Deepak Garg, Valerio Genovese, Daniele Rispoli, 2012, 2012 IEEE 25th Computer Security Foundations Symposium.

A. Datta, D. Garg, T. French, 2012, Int. J. Syst. Assur. Eng. Manag..

Markus N. Rabe, H. Seidl, B. Finkbeiner, 2015 .

Chintan Jain, Deepak Garg, D. Garg, 2012 .

Deepak Garg, Ankush Garg, D. Garg, 2014, 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

Deepak Garg, Bharat Gupta, D. Garg, 2011 .

Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, ArXiv.

Sanjit Chatterjee, Aniket Kate, Deepak Garg, 2017, IACR Cryptol. ePrint Arch..

Peter Druschel, Deepak Garg, Eslam Elnikety, 2017, USENIX Security Symposium.

Peter Druschel, Anjo Vahldiek-Oberwagner, Eslam Elnikety, 2016, USENIX Security Symposium.

Johannes Gehrke, Peter Druschel, Rodrigo Rodrigues, 2015, EuroSys.

Frank Pfenning, Deepak Garg, F. Pfenning, 2010, 2010 IEEE Symposium on Security and Privacy.

Deepak Garg, Vineet Rajani, Marco Gaboardi, 2021, Proc. ACM Program. Lang..

Deepak Garg, Sunita, D. Garg, 2018, Sādhanā.

Frank Pfenning, Deepak Garg, F. Pfenning, 2005, CONCUR.

Deepak Garg, Ashish Kumar, D. Garg, 2015 .

Deepak Garg, Vineet Rajani, Willard Rafnsson, 2017, SIGL.

Deepak Garg, Anindya Banerjee, Aleksandar Nanevski, 2013, TOPL.

Björn B. Brandenburg, Roberta De Viti, P. Druschel, 2019, ArXiv.

Deian Stefan, Alejandro Russo, Deepak Garg, 2019, Proc. ACM Program. Lang..

Gilles Barthe, Marco Gaboardi, Deepak Garg, 2018, PLDI.

Deepak Garg, Vineet Rajani, D. Garg, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).

Limin Jia, Deepak Garg, Anupam Datta, 2014, ArXiv.

Deepak Garg, Vineet Rajani, Christian Hammer, 2021, J. Comput. Secur..

Deepak Garg, Andrei Sabelfeld, Willard Rafnsson, 2016, ESSoS.

Deepak Garg, Vineet Rajani, Christian Hammer, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Deepak Garg, Vineet Rajani, Christian Hammer, 2014, POST.

Deepak Garg, Anindya Banerjee, Aleksandar Nanevski, 2011, 2011 IEEE Symposium on Security and Privacy.

Vineet Rajani, Deepak Garg, D. Garg, 2020, J. Comput. Secur..

Deepak Garg, Deepika Sareen, D. Garg, 2011 .

Ritika, Deepak Garg, D. Garg, 2011 .

Deepak Garg, Ritika Angrish, D. Garg, 2011 .

Deepak Garg, Kuldeep Sharma, D. Garg, 2009, Comput. Inf. Sci..

Martín Abadi, Deepak Garg, M. Abadi, 2008, FoSSaCS.

Deepak Garg, Rattan Rana, D. Garg, 2014, Int. Arab J. Inf. Technol..

Deepak Garg, Vaishali M. Wadhwa, D. Garg, 2011 .

Nikhil Gupta, Deepak Garg, Soniya Gupta, 2012 .

Umut A. Acar, Deepak Garg, Ezgi Çiçek, 2015, ESOP.

Michael Backes, Robert Künnemann, Deepak Garg, 2019, CREST@ETAPS.

Seema Verma, Deepak Garg, D. Garg, 2009, 2009 IEEE International Advance Computing Conference.

Limin Jia, Carl A. Gunter, Deepak Garg, 2014, CODASPY '14.

Anupam Datta, Divya Sharma, Deepak Garg, 2016 .

Lalit Kumar, Deepak Garg, Khem Kumar Nagar, 2012 .

Limin Jia, Deepak Garg, Anupam Datta, 2011, ArXiv.

Anupam Datta, Jason Franklin, Deepak Garg, 2008 .

D. Garg, Carmine Abate, Roberto Blanco, 2019, ESOP.

D. Garg, Richa Singh, Anjali, 2020, International Journal of Recent Technology and Engineering.

Deepak Garg, Anu Dahiya, D. Garg, 2014, 2014 International Conference on Advances in Computing, Communications and Informatics (ICACCI).