Abhishek Bichhawat
Department : Computer Science & Engineering
Research Interests
● Language-based security
● Formal methods and verification for security
● Information flow security
● End-to-end policy enforcement
● Security of IoT platforms
Professional Summary
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)
Publications
1. 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
2. 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
3. Automating Audit with Policy Inference, Abhishek Bichhawat, Matt Fredrikson and Jean Yang, In 34th IEEE Computer Security Foundations Symposium, 2021
Complete List of Publications