Old Web
English
Sign In
Acemap
>
authorDetail
>
Abhishek Bichhawat
Abhishek Bichhawat
Carnegie Mellon University
Computer science
policy enforcement
Data science
Mathematical proof
Semantics (computer science)
4
Papers
2
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
Gradual Security Types and Gradual Guarantees
2021
CSF | IEEE Computer Security Foundations Symposium
Abhishek Bichhawat
McKenna McCall
Limin Jia
Show All
Source
Cite
Save
Citations (0)
$\text{DY}^{\star}$ : A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
2021
EUROS&P | IEEE European Symposium on Security and Privacy
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Wűrtele
Show All
Source
Cite
Save
Citations (2)
Automating Audit with Policy Inference
2021
CSF | IEEE Computer Security Foundations Symposium
Abhishek Bichhawat
Matt Fredrikson
Jean Yang
Show All
Source
Cite
Save
Citations (0)
Contextual and Granular Policy Enforcement in Database-backed Applications.
2020
CCS | Computer and Communications Security
Abhishek Bichhawat
Matt Fredrikson
Jean Yang
Akash Trehan
Show All
Source
Cite
Save
Citations (0)
1