Karthick Jayaraman

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