Selected Publications

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]

Security Architecture for Virtual Machines
Udaya Tupakula, Vijay Varadharajan and Abhishek Bichhawat
In International Conference on Algorithms and Architectures for Parallel Processing, LNCS, vol. 7016, (ICA2PP '11)

Full list of publications

Teaching

Teaching Assistant

Secure Information Flow (WS 15/16, SS 14) [Saarland University]
Seminar: Hot Topics in Language Security (SS 15, SS 13) [Saarland University]