Abhishek Bichhawat
Abhishek Bichhawat
Assistant Professor, Computer Science & Engineering
- BE: Anna University, 2009
- MTech: IIT Roorkee, 2011
- PhD: Saarland University, 2018
Email: abhishek.b -AT- iitgn.ac.in
Website : http://people.iitgn.ac.in/~abhishek/
Office:
13/405 A
-
Selected Publications
-
Permissive Runtime Information Flow Control in the Presence of Exceptions, Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer, In Journal of Computer Security 2021
-
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code, Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz and Tim Würtele, In 6th IEEE European Symposium on Security and Privacy, 2021
-
Automating Audit with Policy Inference, Abhishek Bichhawat, Matt Fredrikson and Jean Yang, In 34th IEEE Computer Security Foundations Symposium, 2021
-
-
Work Experience
- Assistant Professor, Indian Institute of Technology Gandhinagar (Mar 2021 to present)
- Postdoctoral Fellow, Carnegie Mellon University (Jan 2018 - Dec 2020)
- Member of Technical Staff, Oracle India Pvt. Ltd. (Aug 2011 - Nov 2012)