search
menu
icon-carat-right
cmu-wordmark
✕
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
Enterprise Risk and Resilience Management
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webinar Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity and Inclusion
Internship Opportunities
Working at the SEI
Carnegie Mellon University
Software Engineering Institute
About
Leadership
Divisions
Work with Us
Collaboration with CMU
History of Innovation at the SEI
Our Work
Agile
Artificial Intelligence Engineering
Cloud Computing
Cyber Workforce Development
Cybersecurity Center Development
Cybersecurity Engineering
DevSecOps
All Topics
All Projects
Publications
Annual Reviews
Blog
Digital Library
Podcast Series
Software and Tools
Technical Papers
Vulnerability Notes Database
Webcasts Series
News and Events
News
Events
SEI Bulletin
Education and Outreach
Courses
Credentials
Curricula
License SEI Materials
Careers
Job Openings
Diversity, Equity, and Inclusion
Internship Opportunities
Home
Publications
Authors
David Keaton
David Keaton
David Keaton is an SEI alumni employee.
All
Tech Publications
Blog Posts
Secure Coding Analysis of an AADL Code Generator's Runtime System
September 12, 2015
•
White Paper
By
David Keaton
Empirical Evaluation of API Usability and Security
May 20, 2015
•
Presentation
By
Sam Weber
,
Brad Myers
,
Forrest Shull
,
Robert C. Seacord
,
Michael Coblenz (Carnegie Mellon School of Computer Science)
,
Joshua Sunshine (Institute for Software Research)
,
David Keaton
TWC: Small: Empirical Evaluation of the Usability and Security Implications of Application Programming Interface Design
May 20, 2015
•
Poster
By
Brad Myers
,
Sam Weber
,
Robert C. Seacord
,
Michael Coblenz (Carnegie Mellon School of Computer Science)
,
David Keaton
,
Forrest Shull
,
Joshua Sunshine (Institute for Software Research)
,
Robert Schiela
Performance of Compiler-Assisted Memory Safety Checking
August 25, 2014
•
Blog Post
By
David Keaton
Performance of Compiler-Assisted Memory Safety Checking
July 31, 2014
•
Technical Note
By
David Keaton
,
Robert C. Seacord
More from David Keaton
Secure Coding Analysis of an AADL Code Generator's Runtime System
September 12, 2015
•
White Paper
By
David Keaton
TWC: Small: Empirical Evaluation of the Usability and Security Implications of Application Programming Interface Design
May 20, 2015
•
Poster
By
Brad Myers
,
Sam Weber
,
Robert C. Seacord
,
Michael Coblenz (Carnegie Mellon School of Computer Science)
,
David Keaton
,
Forrest Shull
,
Joshua Sunshine (Institute for Software Research)
,
Robert Schiela
Performance of Compiler-Assisted Memory Safety Checking
July 31, 2014
•
Technical Note
By
David Keaton
,
Robert C. Seacord
As-If Infinitely Ranged Integer Model, Second Edition
April 1, 2010
•
Technical Note
By
Roger Dannenberg (School of Computer Science, Carnegie Mellon University)
,
Will Dormann
,
David Keaton
,
Thomas Plum (Plum Hall, Inc.)
,
Robert C. Seacord
,
David Svoboda
,
Alex Volkovitsky
,
Timothy Wilson
Instrumented Fuzz Testing Using AIR Integers (Whitepaper)
February 1, 2010
•
White Paper
By
Roger Dannenberg (School of Computer Science, Carnegie Mellon University)
,
Will Dormann
,
David Keaton
,
Robert C. Seacord
,
Timothy Wilson
,
Thomas Plum (Plum Hall, Inc.)
More from David Keaton
Performance of Compiler-Assisted Memory Safety Checking
August 25, 2014
•
Blog Post
By
David Keaton
Helping Developers Address Security with the CERT C Secure Coding Standard
November 5, 2012
•
Blog Post
By
David Keaton
Improving Security in the Latest C Programming Language Standard
June 18, 2012
•
Blog Post
By
David Keaton
More from David Keaton