Abhishek Bichhawat

40 papers A* 5A 8Misc 1Journal 14Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
A Unified Browser-Based Consent Management Framework.
NIER@ICSE
Gayatri Priyadarsini Kancherla, Abhishek Bichhawat
2025 — conf
Fall-Through Semantics for Mitigating Timing-Based Side Channel Leaks.
FSTTCS
Aniket Mishra, Abhishek Bichhawat
2025 J jnl
Johnny Can't Revoke Consent Either: Measuring Compliance of Consent Revocation on the Web.
Proc. Priv. Enhancing Technol.
Gayatri Priyadarsini Kancherla, Nataliia Bielova, Cristiana Teixeira Santos, Abhishek Bichhawat
2025 A* conf
Least Privilege Access for Persistent Storage Mechanisms in Web Browsers.
WWW
Gayatri Priyadarsini Kancherla, Dishank Goel, Abhishek Bichhawat
2025 A conf
On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study.
EASE
Anupam Sharma, Sreyashi Karmakar, Gayatri Priyadarsini Kancherla, Abhishek Bichhawat
2025 J jnl
On the Prevalence and Usage of Commit Signing on GitHub: A Longitudinal and Cross-Domain Study.
CoRR
Anupam Sharma, Sreyashi Karmakar, Gayatri Priyadarsini Kancherla, Abhishek Bichhawat
2025 J jnl
Online Authentication Habits of Indian Users.
CoRR
Pratyush Choudhary, Subhrajit Das, Mukul Paras Potta, Prasuj Das, Abhishek Bichhawat
2025 A* conf
The 20th Workshop on Programming Languages and Analysis for Security (PLAS 2025).
CCS
Abhishek Bichhawat, Jana Hofmann
2025 — conf
Worst-Case Response Time Analysis for Periodic Programs with Nested Locks.
ISEC
Harshit Mansukhbhai Ramolia, Siddhesh Sanjay Kanawade, Abhishek Bichhawat
2024 J jnl
Least Privilege Access for Persistent Storage Mechanisms in Web Browsers.
CoRR
Gayatri Priyadarsini Kancherla, Dishank Goel, Abhishek Bichhawat
2024 J jnl
Measuring Compliance of Consent Revocation on the Web.
CoRR
Gayatri Priyadarsini Kancherla, Nataliia Bielova, Cristiana Teixeira Santos, Abhishek Bichhawat
2024 Misc conf
Web Privacy Perceptions Amongst Indian Users.
ICISS
Gayatri Priyadarsini, Anshika Saxena, Aditi Dey, Prakriti, Abhishek Bichhawat
2023 — conf
Layered Symbolic Security Analysis in $\textsf {DY}^\star $.
ESORICS (3)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 J jnl
Layered Symbolic Security Analysis in DY$^\star$.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
2023 A* conf
Tainted Secure Multi-Execution to Restrict Attacker Influence.
CCS
McKenna McCall, Abhishek Bichhawat, Limin Jia
2023 A conf
Towards Usable Security Analysis Tools for Trigger-Action Programming.
SOUPS
McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian
2022 A conf
Compositional Information Flow Monitoring for Reactive Programs.
EuroS&P
McKenna McCall, Abhishek Bichhawat, Limin Jia
2022 J jnl
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).
IACR Cryptol. ePrint Arch.
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
2022 A* conf
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.
SP
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
2021 — conf
A Tutorial-Style Introduction to DY*.
Protocols, Strands, and Logic
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A* conf
An In-Depth Symbolic Security Analysis of the ACME Standard.
CCS
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 J jnl
An In-Depth Symbolic Security Analysis of the ACME Standard.
IACR Cryptol. ePrint Arch.
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A conf
Automating Audit with Policy Inference.
CSF
Abhishek Bichhawat, Matt Fredrikson, Jean Yang
2021 A conf
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
EuroS&P
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
2021 A conf
Gradual Security Types and Gradual Guarantees.
CSF
Abhishek Bichhawat, McKenna McCall, Limin Jia
2021 J jnl
Permissive runtime information flow control in the presence of exceptions.
J. Comput. Secur.
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2020 A conf
Contextual and Granular Policy Enforcement in Database-backed Applications.
AsiaCCS
Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan
2020 J jnl
First-order Gradual Information Flow Types with Gradual Guarantees.
CoRR
Abhishek Bichhawat, McKenna McCall, Limin Jia
2018 J jnl
ESTRELA: Automated Policy Enforcement Across Remote APIs.
CoRR
Abhishek Bichhawat, Akash Trehan, Jean Yang, Matt Fredrikson
2018 — —
Practical dynamic information flow control.
Abhishek Bichhawat
2017 — conf
WebPol: Fine-Grained Information Flow Policies for Web Browsers.
ESORICS (1)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2017 J jnl
WebPol: Fine-grained Information Flow Policies for Web Browsers.
CoRR
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
2015 J jnl
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.
CoRR
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2015 A conf
Information Flow Control for Event Handling and the DOM in Web Browsers.
CSF
Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
2015 — conf
Post-Dominator Analysis for Precisely Handling Implicit Flows.
ICSE (2)
Abhishek Bichhawat
2014 — conf
Exception handling for dynamic information flow control.
ICSE Companion
Abhishek Bichhawat
2014 — conf
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis.
PLAS@ECOOP
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014 — conf
Information Flow Control in WebKit's JavaScript Bytecode.
POST
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2014 J jnl
Information Flow Control in WebKit's JavaScript Bytecode.
CoRR
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
2011 — conf
Security Architecture for Virtual Machines.
ICA3PP (1)
Udaya Kiran Tupakula, Vijay Varadharajan, Abhishek Bichhawat