Nathan Keynes
According to our database1,
Nathan Keynes
authored at least 14 papers
between 2009 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Proceedings of the International Symposium on Memory Management, 2013
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
2011
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
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
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009