Nathan Keynes

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