Nathan Keynes

According to our database, Nathan Keynes authored at least 14 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding.

Danfeng Daphne Yao, Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, Miles Frantz, Ke Tian, Na Meng, Cristina Cifuentes, Yang Zhao, Nicholas Allen, Nathan Keynes, Barton P. Miller, Elisa Heymann, Murat Kantarcioglu, Fahad Shaon

IEEE Secur. Priv., 2022

Industrial Strength Static Detection for Cryptographic API Misuses.

Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes

Proceedings of the IEEE Secure Development Conference, 2022

2020

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

Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes

CoRR, 2020

2018

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions.

François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan

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.

Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller

ACM Trans. Program. Lang. Syst., 2016

2015

Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform.

Cristina Cifuentes, Andrew Gross, Nathan Keynes

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.

Lian Li, Cristina Cifuentes, Nathan Keynes

Proceedings of the International Symposium on Memory Management, 2013

Path-Sensitive Data Flow Analysis Simplified.

Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li

Proceedings of the Formal Methods and Software Engineering, 2013

Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk).

Cristina Cifuentes, Nathan Keynes

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Transitioning Parfait into a Development Tool.

Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo

IEEE Secur. Priv., 2012

2011

Boosting the performance of flow-sensitive points-to analysis using value flow.

Lian Li, Cristina Cifuentes, Nathan Keynes

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.

Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann

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.

Lian Li, Cristina Cifuentes, Nathan Keynes

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

2009

Program analysis for bug detection using parfait: invited talk.

Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009