Karthick Jayaraman

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 6

Top Topics

Similarity Metrics

Access Control Policies

Step By Step Instructions

Top Venues

ACM Trans. Inf. Syst. Secur.

Publications

Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese
Lightyear: Using Modularity to Scale BGP Control Plane Verification. SIGCOMM (2023)
Sarah McClure, Zeke Medley, Deepak Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari
Invisinets: Removing Networking from Cloud Networks. NSDI (2023)
Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese
LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification. CoRR (2022)
Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker
Test coverage metrics for the network. SIGCOMM (2021)
Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese
Finding Network Misconfigurations by Automatic Template Inference. NSDI (2020)
Karthick Jayaraman, Nikolaj Bjørner, Jitu Padhye, Amar Agrawal, Ashish Bhargava, Paul-Andre C. Bissonnette, Shane Foster, Andrew Helwer, Mark Kasten, Ivan Lee, Anup Namdhari, Haseeb Niaz, Aniruddha Parkhi, Hanukumar Pinnamraju, Adrian Power, Neha Milind Raje, Parag Sharma
Validating datacenters at scale. SIGCOMM (2019)
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese
Checking Beliefs in Dynamic Networks. NSDI (2015)
Nikolaj Bjørner, Karthick Jayaraman
Checking Cloud Contracts in Microsoft Azure. ICDCIT (2015)
Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
Banking on interoperability: Secure, interoperable credential management. Comput. Networks 67 (2014)
Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15 (4) (2013)
Wenliang Du, Karthick Jayaraman, Xi Tan, Tongbo Luo, Steve J. Chapin
Position paper: why are there so many vulnerabilities in web applications? NSPW (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
ARBAC Policy for a Large Multi-National Bank CoRR (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
Automatic error finding in access-control policies. CCS (2011)
Wenliang Du, Xi Tan, Tongbo Luo, Karthick Jayaraman, Zutao Zhu
Re-designing the Web's Access Control System - (Extended Abstract). DBSec (2011)
Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older
Credentials Management for High-Value Transactions. MMM-ACNS (2010)
Karthick Jayaraman, Wenliang Du, Balamurugan Rajagopalan, Steve J. Chapin
ESCUDO: A Fine-Grained Protection Model for Web Browsers. ICDCS (2010)
Karthick Jayaraman, Grzegorz Lewandowski, Paul G. Talaga, Steve J. Chapin
Enforcing Request Integrity in Web Applications. DBSec (2010)
Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun
jFuzz: A Concolic Whitebox Fuzzer for Java. NASA Formal Methods (2009)
Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst
Automatic creation of SQL Injection and cross-site scripting attacks. ICSE (2009)