Theme: HCSS/CAS Tools and Technologies

Security Inception - Exploiting the Software Ecosystem

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Jeff Williams

Other available formats:

Security Inception - Exploiting the Software Ecosystem

Matching Logic

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Grigore Rosu

Other available formats:

Matching Logic
Switch to experimental viewer

Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Tim Halloran

Other available formats:

Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties
Switch to experimental viewer

Automatically Identifying Exploitable Bugs

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
David Brumley

Other available formats:

Automatically Identifying Exploitable Bugs
Switch to experimental viewer

Software Vulnerabilities Precluded by SPARK

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Paul Black
Joyce Tokar
David Jones
Chris Dupilka

Other available formats:

Software Vulnerabilities Precluded by SPARK
Switch to experimental viewer

CAS Static Analysis Tool Study Overview

Presented as part of the 2011 HCSS conference.

License: 
Creative Commons 2.5
Chuck Willis

Other available formats:

CAS Static Analysis Tool Study Overview
Switch to experimental viewer