Concepedia

Abhishek Bichhawat

AB

Statistics

Publications

5

Citations

97

H-Index

5

Active since

2014

Affiliations

Indian Institute of Technology Gandhinagar(Current)

Institut national de recherche en sciences et technologies du numérique

Saarland University

University of Stuttgart

Max Planck Institute for Software Systems

Abhishek Bichhawat is an author at Indian Institute of Technology Gandhinagar specializing in computer science, computing, and security protocols.

Publications per year

2014–2022

5

Publications

5

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy et al. · 2021 · 25 citations

Computing, Computer Science, Cryptography +16

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

Abhishek Bichhawat, Vineet Rajani, Deepak Garg et al. · 2014 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +11

Information Flow Control for Event Handling and the DOM in Web Browsers

Vineet Rajani, Abhishek Bichhawat, Deepak Garg et al. · 2015 · 21 citations

Computing, Computer Science, Cybersecurity +15

Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations

Son Ho, Jonathan Protzenko, Abhishek Bichhawat et al. · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 16 citations

Computing, Computer Engineering, Computer Science +17

An In-Depth Symbolic Security Analysis of the ACME Standard

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy et al. · 2021 · 12 citations

Computing, Computer Science, Cybersecurity +17

1–5 of 5