Abhishek Bichhawat
Abhishek Bichhawat
Assistant Professor, IIT Gandhinagar
Verified email at iitgn.ac.in - Homepage
Cited by
Cited by
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
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
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
A survey on issues in mobile grid computing
A Bichhawat, RC Joshi
Int. J. of Recent Trends in Engineering and Technology 4 (2), 2010
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
Exception handling for dynamic information flow control
A Bichhawat
Companion Proceedings of the 36th International Conference on Software …, 2014
DY*: a modular symbolic verification framework for executable cryptographic protocol code
K Bhargavan, A Bichhawat, Q Do, P Hosseyni, R Küsters, G Schmitz, ...
EuroS&P 2021-6th IEEE European Symposium on Security and Privacy, 2021
Security architecture for virtual machines
U Tupakula, V Varadharajan, A Bichhawat
International Conference on Algorithms and Architectures for Parallel …, 2011
First-order Gradual Information Flow Types with Gradual Guarantees
A Bichhawat, MK McCall, L Jia
arXiv preprint arXiv:2003.12819, 2020
Proactive Fault Tolerance Technique for a Mobile Grid Environment
A Bichhawat, RC Joshi
International Conference on Advances in Computing and Communication, 96-101, 2011
Gradual Security Types and Gradual Guarantees
A Bichhawat, MK McCall, L Jia
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 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
Automating Audit with Policy Inference
A Bichhawat, M Fredrikson, J Yang
2021 IEEE 34th Computer Security Foundations Symposium (CSF) 1, 15-30, 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
Practical dynamic information flow control
A Bichhawat
Saarländische Universitäts-und Landesbibliothek, 2017
Post-dominator analysis for precisely handling implicit flows
A Bichhawat
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
CSF 2021
C Baumann, M Dam, R Guanciale, K Winter, N Coughlin, G Smith, ...
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
Poster: Security in Web-Based Workflows
T Bauereiß, A Bichhawat, I Bolosteanu, P Faymonville, B Finkbeiner, ...
Status Report: Formal Analysis of Web Security
K Bhargavan, A Bichhawat, QH Do, D Fett, R Küsters, G Schmitz
The system can't perform the operation now. Try again later.
Articles 1–20