Karthick Jayaraman

Automatic creation of SQL Injection and cross-site scripting attacks

Adam Kieyzun, Philip J. Guo, Karthick Jayaraman et al. · 2009 · 340 citations · Full text

Sql Injection, Software Security, Engineering +13

Checking beliefs in dynamic networks

Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid et al. · 2015 · 128 citations

Engineering, Verification, Computer-aided Verification +20

jFuzz: A Concolic Whitebox Fuzzer for Java

Karthick Jayaraman, David Harvison, Vijay Ganesh et al. · 2009 · 76 citations

Automatic error finding in access-control policies

Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara et al. · 2011 · 67 citations

Abstraction-refinement Technique, Engineering, Information Security +21

Validating datacenters at scale

Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye et al. · 2019 · 55 citations

Cluster Computing, Engineering, Network Operation +20