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

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

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