Folgen
Abhishek Bichhawat
Abhishek Bichhawat
Assistant Professor, IIT Gandhinagar
Bestätigte E-Mail-Adresse bei iitgn.ac.in - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Information flow control in WebKit’s JavaScript bytecode
A Bichhawat, V Rajani, D Garg, C Hammer
International Conference on Principles of Security and Trust, 159-178, 2014
1042014
Generalizing permissive-upgrade in dynamic information flow analysis
A Bichhawat, V Rajani, D Garg, C Hammer
Proceedings of the Ninth Workshop on Programming Languages and Analysis for …, 2014
332014
Information flow control for event handling and the DOM in web browsers
V Rajani, A Bichhawat, D Garg, C Hammer
2015 IEEE 28th Computer Security Foundations Symposium, 366-379, 2015
302015
: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
2021 IEEE European Symposium on Security and Privacy (EuroS&P), 523-542, 2021
142021
A survey on issues in mobile grid computing
A Bichhawat, RC Joshi
Int J Recent Trends Eng. Technol 4 (2), 2010
112010
Webpol: Fine-grained information flow policies for web browsers
A Bichhawat, V Rajani, J Jain, D Garg, C Hammer
European Symposium on Research in Computer Security, 242-259, 2017
82017
DY⋆ Code Repository
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
URL: https://github. com/reprosec/dolev-yao-star, 2021
52021
Exception handling for dynamic information flow control
A Bichhawat
Companion Proceedings of the 36th International Conference on Software …, 2014
52014
An in-depth symbolic security analysis of the ACME standard
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
42021
A tutorial-style introduction to DY
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Strands, and Logic, 77, 2021
22021
Security architecture for virtual machines
U Tupakula, V Varadharajan, A Bichhawat
International Conference on Algorithms and Architectures for Parallel …, 2011
22011
A Tutorial-Style Introduction to
K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Strands, and Logic, 77-97, 2021
12021
First-order Gradual Information Flow Types with Gradual Guarantees
A Bichhawat, MK McCall, L Jia
arXiv preprint arXiv:2003.12819, 2020
12020
Proactive Fault Tolerance Technique for a Mobile Grid Environment
A Bichhawat, RC Joshi
International Conference on Advances in Computing and Communication, 96-101, 2011
12011
SAFETAP: An Efficient Incremental Analyzer for Trigger-Action Programs
MK McCall, FH Shezan, A Bichhawat, C Cobb, L Jia, Y Tian, C Grace, ...
Carnegie Mellon University, 0
1
Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations
S Ho, J Protzenko, A Bichhawat, K Bhargavan
Inria, 2021
2021
Gradual Security Types and Gradual Guarantees
A Bichhawat, MK McCall, L Jia
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
2021
Permissive runtime information flow control in the presence of exceptions
A Bichhawat, V Rajani, D Garg, C Hammer
Journal of Computer Security, 1-41, 2021
2021
Automating Audit with Policy Inference
A Bichhawat, M Fredrikson, J Yang
2021 IEEE 34th Computer Security Foundations Symposium (CSF) 1, 15-30, 2021
2021
Contextual and Granular Policy Enforcement in Database-backed Applications
A Bichhawat, M Fredrikson, J Yang, A Trehan
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20