I am a Postdoctoral Fellow in Computer Science at Carnegie Mellon University working with Jean Yang, Matt Fredrikson, and Limin Jia.
My research interests particularly focus on information flow control, language-based security (using program analysis), and verification for security.
Automating Audit with Policy Inference
Abhishek Bichhawat, Matt Fredrikson and Jean Yang
In 34th IEEE Computer Security Foundations Symposium (CSF '21)
[Full Version]
Contextual and Granular Policy Enforcement in Database-backed Applications
Abhishek Bichhawat, Matt Fredrikson, Jean Yang and Akash Trehan
In 15th ACM Asia Conference on Computer and Communications Security (AsiaCCS '20)
[Full Version]
WebPol: Fine-grained information flow policies for web browsers
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg and Christian Hammer
In European Symposium on Research in Computer Security (ESORICS '17)
[Full Version]
Information Flow Control for Event Handling and the DOM in Web Browsers
Vineet Rajani, Abhishek Bichhawat, Deepak Garg and Christian Hammer
In IEEE Computer Security Foundations Symposium (CSF '15)
[Full Version]
[OCaml Model]
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer
In 9th ACM Workshop on Programming Languages and Analysis for Security (PLAS '14)
[Full Version]
Information Flow Control in WebKit's JavaScript Bytecode
Abhishek Bichhawat, Vineet Rajani, Deepak Garg and Christian Hammer
In Conference on Principles of Security and Trust, LNCS, vol. 8414 (POST@ETAPS '14)
[Full Version]
Secure Information Flow (WS 15/16, SS 14) [Saarland University]
Seminar: Hot Topics in Language Security (SS 15, SS 13) [Saarland University]