Old Web
English
Sign In
Acemap
>
authorDetail
>
Abhishek Bichhawat
Abhishek Bichhawat
Indian Institute of Technology Gandhinagar
Computer science
Cryptographic protocol
Distributed computing
Information flow (information theory)
Permissive
4
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
An In-Depth Symbolic Security Analysis of the ACME Standard
2021
CCS | Computer and Communications Security
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Wűrtele
Show All
Source
Cite
Save
Citations (1)
An In-Depth Symbolic Security Analysis of the ACME Standard
2021
CCS | Computer and Communications Security
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Würtele
Show All
Source
Cite
Save
Citations (0)
Permissive runtime information flow control in the presence of exceptions
2021
Journal of Computer Security
Abhishek Bichhawat
Vineet Rajani
Deepak Garg
Christian Hammer
Show All
Source
Cite
Save
Citations (0)
A Tutorial-Style Introduction to \(\textsf {DY}^\star \)
2021
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Wűrtele
Show All
Source
Cite
Save
Citations (0)
1