Security Architecture for Virtual Machines. - Udaya Kiran Tupakula; Vijay Varadharajan; Abhishek Bichhawat (ICA3PP (1), 2011)

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (PLAS@ECOOP, 2014)

Exception handling for dynamic information flow control. - Abhishek Bichhawat (ICSE Companion, 2014)

Information Flow Control in WebKit's JavaScript Bytecode. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (POST, 2014)

Information Flow Control for Event Handling and the DOM in Web Browsers. - Vineet Rajani; Abhishek Bichhawat; Deepak Garg 001; Christian Hammer 001 (CSF, 2015)

Post-Dominator Analysis for Precisely Handling Implicit Flows. - Abhishek Bichhawat (ICSE (2), 2015)

WebPol: Fine-Grained Information Flow Policies for Web Browsers. - Abhishek Bichhawat; Vineet Rajani; Jinank Jain; Deepak Garg 001; Christian Hammer 001 (ESORICS (1), 2017)

ESTRELA: Automated Policy Enforcement Across Remote APIs. - Abhishek Bichhawat; Akash Trehan; Jean Yang 001; Matt Fredrikson (CoRR, 2018)

Practical dynamic information flow control. - Abhishek Bichhawat (2018)

Contextual and Granular Policy Enforcement in Database-backed Applications. - Abhishek Bichhawat; Matt Fredrikson; Jean Yang 001; Akash Trehan (AsiaCCS, 2020)

First-order Gradual Information Flow Types with Gradual Guarantees. - Abhishek Bichhawat; McKenna McCall; Limin Jia 001 (CoRR, 2020)

A Tutorial-Style Introduction to DY*. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (Protocols, Strands, and Logic, 2021)

An In-Depth Symbolic Security Analysis of the ACME Standard. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (CCS, 2021)

Automating Audit with Policy Inference. - Abhishek Bichhawat; Matt Fredrikson; Jean Yang 001 (CSF, 2021)

Gradual Security Types and Gradual Guarantees. - Abhishek Bichhawat; McKenna McCall; Limin Jia 001 (CSF, 2021)

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. - Karthikeyan Bhargavan; Abhishek Bichhawat; Quoc Huy Do 001; Pedram Hosseyni; Ralf Küsters; Guido Schmitz; Tim Würtele (EuroS&P, 2021)

Permissive runtime information flow control in the presence of exceptions. - Abhishek Bichhawat; Vineet Rajani; Deepak Garg 001; Christian Hammer 001 (J. Comput. Secur., 2021)

Compositional Information Flow Monitoring for Reactive Programs. - McKenna McCall; Abhishek Bichhawat; Limin Jia 001 (EuroS&P, 2022)

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. - Son Ho; Jonathan Protzenko; Abhishek Bichhawat; Karthikeyan Bhargavan (SP, 2022)

Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version). - Son Ho; Jonathan Protzenko; Abhishek Bichhawat; Karthikeyan Bhargavan (IACR Cryptol. ePrint Arch., 2022)

Tainted Secure Multi-Execution to Restrict Attacker Influence. - McKenna McCall; Abhishek Bichhawat; Limin Jia 001 (CCS, 2023)

Layered Symbolic Security Analysis in $ textsf {DY}^ star $. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (ESORICS (3), 2023)

Towards Usable Security Analysis Tools for Trigger-Action Programming. - McKenna McCall; Eric Zeng 001; Faysal Hossain Shezan; Mitchell Yang; Lujo Bauer; Abhishek Bichhawat; Camille Cobb; Limin Jia 001; Yuan Tian 001 (SOUPS, 2023)

Layered Symbolic Security Analysis in DY$^ star$. - Karthikeyan Bhargavan; Abhishek Bichhawat; Pedram Hosseyni; Ralf Küsters; Klaas Pruiksma; Guido Schmitz; Clara Waldmann; Tim Würtele (IACR Cryptol. ePrint Arch., 2023)

Web Privacy Perceptions Amongst Indian Users. - Gayatri Priyadarsini; Anshika Saxena; Aditi Dey; Prakriti; Abhishek Bichhawat (ICISS, 2024)

Measuring Compliance of Consent Revocation on the Web. - Gayatri Priyadarsini Kancherla; Nataliia Bielova; Cristiana Santos; Abhishek Bichhawat (CoRR, 2024)

The 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025). - Abhishek Bichhawat; Jana Hofmann (CCS, 2025)

A Unified Browser-Based Consent Management Framework. - Gayatri Priyadarsini Kancherla; Abhishek Bichhawat (NIER@ICSE, 2025)

Worst-Case Response Time Analysis for Periodic Programs with Nested Locks. - Harshit Mansukhbhai Ramolia; Siddhesh Sanjay Kanawade; Abhishek Bichhawat (ISEC, 2025)

Least Privilege Access for Persistent Storage Mechanisms in Web Browsers. - Gayatri Priyadarsini Kancherla; Dishank Goel; Abhishek Bichhawat (WWW, 2025)

Johnny Can't Revoke Consent Either: Measuring Compliance of Consent Revocation on the Web. - Gayatri Priyadarsini Kancherla; Nataliia Bielova; Cristiana Santos; Abhishek Bichhawat (Proc. Priv. Enhancing Technol., 2025)

Online Authentication Habits of Indian Users. - Pratyush Choudhary; Subhrajit Das; Mukul Paras Potta; Prasuj Das; Abhishek Bichhawat (CoRR, 2025)

On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study. - Anupam Sharma; Sreyashi Karmakar; Gayatri Priyadarsini Kancherla; Abhishek Bichhawat (CoRR, 2025)