Nathan Keynes

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 5

Top Topics

Static Analysis

Security Vulnerabilities

Industrial Strength

Top Venues

IEEE Secur. Priv.

Publications

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
Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. IEEE Secur. Priv. 20 (6) (2022)
Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes
Industrial Strength Static Detection for Cryptographic API Misuses. SecDev (2022)
Ya Xiao, Yang Zhao, Nicholas Allen, Nathan Keynes, Danfeng Yao, Cristina Cifuentes
Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. CoRR (2020)
François Gauthier, Nathan Keynes, Nicholas Allen, Diane Corney, Padmanabhan Krishnan
Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. SecDev (2018)
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
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Cristina Cifuentes, Andrew Gross, Nathan Keynes
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. SOAP@PLDI (2015)
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
Path-Sensitive Data Flow Analysis Simplified. ICFEM (2013)
Lian Li, Cristina Cifuentes, Nathan Keynes
Precise and scalable context-sensitive pointer analysis via value flow graph. ISMM (2013)
Cristina Cifuentes, Nathan Keynes
Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). APLAS (2013)
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo
Transitioning Parfait into a Development Tool. IEEE Secur. Priv. 10 (3) (2012)
Lian Li, Cristina Cifuentes, Nathan Keynes
Boosting the performance of flow-sensitive points-to analysis using value flow. SIGSOFT FSE (2011)
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann
Static deep error checking in large system applications using parfait. SIGSOFT FSE (2011)
Lian Li, Cristina Cifuentes, Nathan Keynes
Practical and effective symbolic analysis for buffer overflow detection. SIGSOFT FSE (2010)
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz
Program analysis for bug detection using parfait: invited talk. PEPM (2009)