| Automatic creation of SQL injection and cross-site scripting attacks A Kieyzun, PJ Guo, K Jayaraman, MD Ernst 2009 IEEE 31st international conference on software engineering, 199-209, 2009 | 517 | 2009 |
| Checking beliefs in dynamic networks NP Lopes, N Bjørner, P Godefroid, K Jayaraman, G Varghese 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015 | 191 | 2015 |
| jFuzz: A concolic whitebox fuzzer for Java K Jayaraman, D Harvison, V Ganesh, A Kiezun Proceedings of the First NASA Formal Methods Symposium, 2009 | 102 | 2009 |
| Automatic error finding in access-control policies K Jayaraman, V Ganesh, M Tripunitara, M Rinard, S Chapin Proceedings of the 18th ACM conference on Computer and communications …, 2011 | 96 | 2011 |
| Escudo: A fine-grained protection model for web browsers K Jayaraman, W Du, B Rajagopalan, SJ Chapin 2010 IEEE 30th International Conference on Distributed Computing Systems …, 2010 | 56 | 2010 |
| Automated analysis and debugging of network connectivity policies K Jayaraman, N Bjørner, G Outhred, C Kaufman Microsoft Research, 1-11, 2014 | 55 | 2014 |
| Mohawk: Abstraction-refinement and bound-estimation for verifying access control policies K Jayaraman, M Tripunitara, V Ganesh, M Rinard, S Chapin ACM Transactions on Information and System Security (TISSEC) 15 (4), 1-28, 2013 | 38 | 2013 |
| Checking cloud contracts in Microsoft Azure N Bjørner, K Jayaraman International Conference on Distributed Computing and Internet Technology, 21-32, 2015 | 33 | 2015 |
| Validating datacenters at scale K Jayaraman, N Bjørner, J Padhye, A Agrawal, A Bhargava, ... Proceedings of the ACM Special Interest Group on Data Communication, 200-213, 2019 | 28 | 2019 |
| Enhancing security education with hands-on laboratory exercises W Du, K Jayaraman, NB Gaubatz Proceedings of the 5th Annual Symposium on Information Assurance (ASIA'10 …, 2010 | 28 | 2010 |
| Enforcing request integrity in web applications K Jayaraman, G Lewandowski, PG Talaga, SJ Chapin IFIP Annual Conference on Data and Applications Security and Privacy, 225-240, 2010 | 20 | 2010 |
| System and method for compact form exhaustive analysis of security policies K Jayaraman, CW Kaufman, NS Bjorner US Patent 9,467,473, 2016 | 17 | 2016 |
| Position paper: why are there so many vulnerabilities in web applications? W Du, K Jayaraman, X Tan, T Luo, S Chapin Proceedings of the 2011 New Security Paradigms Workshop, 83-94, 2011 | 17 | 2011 |
| Finding network misconfigurations by automatic template inference SKR Kakarla, A Tang, R Beckett, K Jayaraman, T Millstein, Y Tamir, ... 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2020 | 16 | 2020 |
| Dna pairing: Using differential network analysis to find reachability bugs N Lopes, N Bjørner, P Godefroid, K Jayaraman, G Varghese Technical Report MSR-TR-2014-58, Microsoft Research, 2014 | 10 | 2014 |
| Modeling user interactions for (fun and) profit: preventing request forgery attacks on web applications K Jayaraman, PG Talaga, G Lewandowski, SJ Chapin, M Hafiz Proceedings of the 16th Conference on Pattern Languages of Programs, 1-9, 2009 | 9 | 2009 |
| Banking on interoperability: Secure, interoperable credential management G Benson, SK Chin, S Croston, K Jayaraman, S Older Computer Networks 67, 235-251, 2014 | 5 | 2014 |
| Memento: A framework for hardening web applications K Jayaraman, G Lewandowski, SJ Chapin Center for Systems Assurance Technical Report CSATR-2008-11-01, 2008 | 5 | 2008 |
| Network verification: Calculus and solvers N Bjørner, K Jayaraman 2014 International Science and Technology Conference (Modern Networking …, 2014 | 4 | 2014 |
| Arbac policy for a large multi-national bank K Jayaraman, V Ganesh, M Tripunitara, MC Rinard, SJ Chapin arXiv preprint arXiv:1110.2849, 2011 | 4 | 2011 |
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
