According to our database1, Karthick Jayaraman authored at least 13 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Validating datacenters at scale.
Proceedings of the ACM Special Interest Group on Data Communication, 2019
Checking Beliefs in Dynamic Networks.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015
Checking Cloud Contracts in Microsoft Azure.
Proceedings of the Distributed Computing and Internet Technology, 2015
Banking on interoperability: Secure, interoperable credential management.
Computer Networks, 2014
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.
ACM Trans. Inf. Syst. Secur., 2013
Position paper: why are there so many vulnerabilities in web applications?
Proceedings of the 2011 New Security Paradigms Workshop, 2011
Re-designing the Web's Access Control System - (Extended Abstract).
Proceedings of the Data and Applications Security and Privacy XXV, 2011
Automatic error finding in access-control policies.
Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011
Credentials Management for High-Value Transactions.
Proceedings of the Computer Network Security, 2010
ESCUDO: A Fine-Grained Protection Model for Web Browsers.
Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010
Enforcing Request Integrity in Web Applications.
Proceedings of the Data and Applications Security and Privacy XXIV, 2010
jFuzz: A Concolic Whitebox Fuzzer for Java.
Proceedings of the First NASA Formal Methods Symposium, 2009
Automatic creation of SQL Injection and cross-site scripting attacks.
Proceedings of the 31st International Conference on Software Engineering, 2009