Karthick Jayaraman

Automatic creation of SQL Injection and cross-site scripting attacks

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

Computing, Computer Science, Cybersecurity +12

Checking beliefs in dynamic networks

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

Computing, Computer Science, Computer Systems +14

jFuzz: A Concolic Whitebox Fuzzer for Java

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

Computing, Computer Engineering, Computer Science +16

Automatic error finding in access-control policies

Karthick Jayaraman, Vijay Ganesh, Mahesh Tripunitara et al. · 2011 · 68 citations · Full text

Computing, Computer Science, Computer Systems +15

Validating datacenters at scale

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

Computing, Computer Science, Computer Systems +13