Karthick Jayaraman

According to our database, Karthick Jayaraman authored at least 19 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Lightyear: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Steven Benaloh, Karthick Jayaraman, Tejas Patil, Todd D. Millstein, George Varghese

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Invisinets: Removing Networking from Cloud Networks.

Sarah McClure, Zeke Medley, Deepak Bansal, Karthick Jayaraman, Ashok Narayanan, Jitendra Padhye, Sylvia Ratnasamy, Anees Shaikh, Rishabh Tewari

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification.

Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, George Varghese

CoRR, 2022

2021

Test coverage metrics for the network.

Xieyang Xu, Ryan Beckett, Karthick Jayaraman, Ratul Mahajan, David Walker

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

Finding Network Misconfigurations by Automatic Template Inference.

Siva Kesava Reddy K., Alan Tang, Ryan Beckett, Karthick Jayaraman, Todd D. Millstein, Yuval Tamir, George Varghese

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

Validating datacenters at scale.

Karthick Jayaraman, Nikolaj S. 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

Proceedings of the ACM Special Interest Group on Data Communication, 2019

2015

Checking Beliefs in Dynamic Networks.

Nuno P. Lopes, Nikolaj S. Bjørner, Patrice Godefroid, Karthick Jayaraman, George Varghese

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Checking Cloud Contracts in Microsoft Azure.

Nikolaj S. Bjørner, Karthick Jayaraman

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

Banking on interoperability: Secure, interoperable credential management.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Comput. Networks, 2014

2013

Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.

Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin

ACM Trans. Inf. Syst. Secur., 2013

2011

ARBAC Policy for a Large Multi-National Bank

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

CoRR, 2011

Position paper: why are there so many vulnerabilities in web applications?

Wenliang Du, Karthick Jayaraman, Xi Tan, Tongbo Luo, Steve J. Chapin

Proceedings of the 2011 New Security Paradigms Workshop, 2011

Re-designing the Web's Access Control System - (Extended Abstract).

Wenliang Du, Xi Tan, Tongbo Luo, Karthick Jayaraman, Zutao Zhu

Proceedings of the Data and Applications Security and Privacy XXV, 2011

Automatic error finding in access-control policies.

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Credentials Management for High-Value Transactions.

Glenn S. Benson, Shiu-Kai Chin, Sean Croston, Karthick Jayaraman, Susan Older

Proceedings of the Computer Network Security, 2010

ESCUDO: A Fine-Grained Protection Model for Web Browsers.

Karthick Jayaraman, Wenliang Du, Balamurugan Rajagopalan, Steve J. Chapin

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Enforcing Request Integrity in Web Applications.

Karthick Jayaraman, Grzegorz Lewandowski, Paul G. Talaga, Steve J. Chapin

Proceedings of the Data and Applications Security and Privacy XXIV, 2010

2009

jFuzz: A Concolic Whitebox Fuzzer for Java.

Karthick Jayaraman, David Harvison, Vijay Ganesh, Adam Kiezun

Proceedings of the First NASA Formal Methods Symposium, 2009

Automatic creation of SQL Injection and cross-site scripting attacks.

Adam Kiezun, Philip J. Guo, Karthick Jayaraman, Michael D. Ernst

Proceedings of the 31st International Conference on Software Engineering, 2009