Information flow control in WebKit’s JavaScript bytecode A Bichhawat, V Rajani, D Garg, C Hammer
Principles of Security and Trust: Third International Conference, POST 2014 …, 2014
109 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
35 2015 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
34 2014 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
25 2021 Webpol: Fine-grained information flow policies for web browsers A Bichhawat, V Rajani, J Jain, D Garg, C Hammer
Computer Security–ESORICS 2017: 22nd European Symposium on Research in …, 2017
11 2017 A survey on issues in mobile grid computing A Bichhawat, RC Joshi
Int J Recent Trends Eng. Technol 4 (2), 2010
10 2010 Noise*: A library of verified high-performance secure channel protocol implementations S Ho, J Protzenko, A Bichhawat, K Bhargavan
2022 IEEE Symposium on Security and Privacy (SP), 107-124, 2022
7 2022 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
5 2021 Exception handling for dynamic information flow control A Bichhawat
Companion Proceedings of the 36th International Conference on Software …, 2014
5 2014 Gradual security types and gradual guarantees A Bichhawat, MK McCall, L Jia
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
4 2021 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
4 2021 Compositional information flow monitoring for reactive programs MK McCall, A Bichhawat, L Jia
2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P), 467-486, 2022
2 2022 A Tutorial-Style Introduction to K Bhargavan, A Bichhawat, QH Do, P Hosseyni, R Küsters, G Schmitz, ...
Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the …, 2021
2 2021 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, 2021
2 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
2 2020 Security architecture for virtual machines U Tupakula, V Varadharajan, A Bichhawat
Algorithms and Architectures for Parallel Processing: 11th International …, 2011
2 2011 Permissive runtime information flow control in the presence of exceptions A Bichhawat, V Rajani, D Garg, C Hammer
Journal of Computer Security 29 (4), 361-401, 2021
1 2021 First-order Gradual Information Flow Types with Gradual Guarantees A Bichhawat, MK McCall, L Jia
arXiv preprint arXiv:2003.12819, 2020
1 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
1 2011 Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version) S Ho, J Protzenko, A Bichhawat, K Bhargavan
Cryptology ePrint Archive, 2022
2022 
Christian HammerProfessor of Computer Science at University of PassauBestätigte E-Mail-Adresse bei uni-passau.de
