Abhishek Bichhawat

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 19

Top Venues

CoRR

CSF

IACR Cryptol. ePrint Arch.

EuroS&P

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in $\textsf {DY}^\star $. ESORICS (3) (2023)
McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian
Towards Usable Security Analysis Tools for Trigger-Action Programming. SOUPS (2023)
McKenna McCall, Abhishek Bichhawat, Limin Jia
Tainted Secure Multi-Execution to Restrict Attacker Influence. CCS (2023)
Karthikeyan Bhargavan, Abhishek Bichhawat, Pedram Hosseyni, Ralf Küsters, Klaas Pruiksma, Guido Schmitz, Clara Waldmann, Tim Würtele
Layered Symbolic Security Analysis in DY$^\star$. IACR Cryptol. ePrint Arch. 2023 (2023)
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations. IEEE Symposium on Security and Privacy (2022)
Son Ho, Jonathan Protzenko, Abhishek Bichhawat, Karthikeyan Bhargavan
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version). IACR Cryptol. ePrint Arch. 2022 (2022)
McKenna McCall, Abhishek Bichhawat, Limin Jia
Compositional Information Flow Monitoring for Reactive Programs. EuroS&P (2022)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. CCS (2021)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Permissive runtime information flow control in the presence of exceptions. J. Comput. Secur. 29 (4) (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Abhishek Bichhawat, Matt Fredrikson, Jean Yang
Automating Audit with Policy Inference. CSF (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. EuroS&P (2021)
Abhishek Bichhawat, McKenna McCall, Limin Jia
Gradual Security Types and Gradual Guarantees. CSF (2021)
Abhishek Bichhawat, Matt Fredrikson, Jean Yang, Akash Trehan
Contextual and Granular Policy Enforcement in Database-backed Applications. AsiaCCS (2020)
Abhishek Bichhawat, McKenna McCall, Limin Jia
First-order Gradual Information Flow Types with Gradual Guarantees. CoRR (2020)
Abhishek Bichhawat, Akash Trehan, Jean Yang, Matt Fredrikson
ESTRELA: Automated Policy Enforcement Across Remote APIs. CoRR (2018)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-Grained Information Flow Policies for Web Browsers. ESORICS (1) (2017)
Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer
WebPol: Fine-grained Information Flow Policies for Web Browsers. CoRR (2017)
Abhishek Bichhawat
Post-Dominator Analysis for Precisely Handling Implicit Flows. ICSE (2) (2015)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. CoRR (2015)
Vineet Rajani, Abhishek Bichhawat, Deepak Garg, Christian Hammer
Information Flow Control for Event Handling and the DOM in Web Browsers. CSF (2015)
Abhishek Bichhawat
Exception handling for dynamic information flow control. ICSE Companion (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. PLAS@ECOOP (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. CoRR (2014)
Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer
Information Flow Control in WebKit's JavaScript Bytecode. POST (2014)
Udaya Kiran Tupakula, Vijay Varadharajan, Abhishek Bichhawat
Security Architecture for Virtual Machines. ICA3PP (1) (2011)

Abhishek Bichhawat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Abhishek Bichhawat