Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Archive
Registration
Program
Call for Presentations
Committee
Venue
Past Events
Submit
Files
CPS-VO
»
High Confidence Software and Systems Conference Series
» HCSS/CAS TOOLS AND TECHNOLOGIES
HCSS/CAS Tools and Technologies
file
CAS Static Analysis Tool Study Overview
Submitted by TimTh on Mon, 05/16/2011 - 8:39am. Contributor:
Chuck Willis
Presented as part of the
2011 HCSS conference
.
National HCSS Conference 2011
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Software Vulnerabilities Precluded by SPARK
Submitted by Paul E. Black on Mon, 05/16/2011 - 8:37am. Contributors:
Paul Black
Joyce Tokar
David Jones
Chris Dupilka
Presented as part of the
2011 HCSS conference
.
National HCSS Conference 2011
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Automatically Identifying Exploitable Bugs
Submitted by TimTh on Mon, 05/16/2011 - 8:35am. Contributor:
David Brumley
Presented as part of the
2011 HCSS conference
.
Carnegie Mellon University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Analysis-Based Verification: A Programmer-Oriented Approach to the Assurance of Mechanical Program Properties
Submitted by TimTh on Mon, 05/16/2011 - 8:34am. Contributor:
Tim Halloran
Presented as part of the
2011 HCSS conference
.
SureLogic
National HCSS Conference 2011
Industry
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Matching Logic
Submitted by TimTh on Mon, 05/16/2011 - 8:31am. Contributor:
Grigore Rosu
Presented as part of the
2011 HCSS conference
.
University of Illinois
National HCSS Conference 2011
Academia
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
file
Security Inception - Exploiting the Software Ecosystem
Submitted by TimTh on Mon, 05/16/2011 - 8:30am. Contributor:
Jeff Williams
Presented as part of the
2011 HCSS conference
.
Aspect Security
National HCSS Conference 2011
Industry
Presentation
HCSS '11
HCSS/CAS Tools and Technologies
