Nathan Keynes

According to our database1, Nathan Keynes authored at least 14 papers between 2009 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases.
DTRAP, 2023

2022
Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding.
IEEE Secur. Priv., 2022

Industrial Strength Static Detection for Cryptographic API Misuses.
Proceedings of the IEEE Secure Development Conference, 2022

2018
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

2016
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.
ACM Trans. Program. Lang. Syst., 2016

2015
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform.
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015

2013
Precise and scalable context-sensitive pointer analysis via value flow graph.
Proceedings of the International Symposium on Memory Management, 2013

Path-Sensitive Data Flow Analysis Simplified.
Proceedings of the Formal Methods and Software Engineering, 2013

Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk).
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Transitioning Parfait into a Development Tool.
IEEE Secur. Priv., 2012

2011
Boosting the performance of flow-sensitive points-to analysis using value flow.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Static deep error checking in large system applications using parfait.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010
Practical and effective symbolic analysis for buffer overflow detection.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009
Program analysis for bug detection using parfait: invited talk.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009


  Loading...