Karthick Jayaraman

According to our database1, Karthick Jayaraman authored at least 13 papers between 2009 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019

2015
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

2014
Banking on interoperability: Secure, interoperable credential management.
Computer Networks, 2014

2013
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.
ACM Trans. Inf. Syst. Secur., 2013

2011
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

2010
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

2009
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


  Loading...