David Keaton

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

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.)

Software Engineering Institute

September 12, 2015 • White Paper

By David Keaton

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

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

August 25, 2014 • Blog Post

By David Keaton

July 31, 2014 • Technical Note

By David Keaton, Robert C. Seacord

September 12, 2015 • White Paper

By David Keaton

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

July 31, 2014 • Technical Note

By David Keaton, Robert C. Seacord

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

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.)

August 25, 2014 • Blog Post

By David Keaton

November 5, 2012 • Blog Post

By David Keaton

June 18, 2012 • Blog Post

By David Keaton

Software Engineering Institute

David Keaton

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

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.)

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