IIT Gandhinagar: 15 Years of ExcellenceNews
Research

Abhishek Bichhawat

  1. Faculty
  2. Computer Science & Engineering

  3. Abhishek Bichhawat

Image

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

    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

  • 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)

Research Interests

  • ● Language-based security
  • ● Formal methods and verification for security
  • ● Information flow security
  • ● End-to-end policy enforcement
  • ● Security of IoT platforms

Complete List of Publications