Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
»
2011
National HCSS Conference 2011
file
The Open World Framework
Submitted by TimTh on Thu, 05/26/2011 - 5:28pm. Contributor:
Sujata Millick
Presented as part of the
2011 HCSS conference
.
Science of Security
HP Labs
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
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
file
Designed-In Security
Submitted by Carl Landwehr on Mon, 05/16/2011 - 8:27am. Contributor:
Carl Landwehr
Presented as part of the
2011 HCSS conference
.
Science of Security
National HCSS Conference 2011
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Information Security: The Legacy of a Maginot Line in Cyberspace
Submitted by TimTh on Mon, 05/16/2011 - 8:26am. Contributor:
Doug DePeppe
Presented as part of the
2011 HCSS conference
.
Science of Security
i2IS Cyberspace Solutions
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
file
Guardol: A Domain-Specific Language for Guards Supporting Strong Automated Formal Analysis
Submitted by TimTh on Mon, 05/16/2011 - 8:24am. Contributor:
Konrad Slind
Presented as part of the
2011 HCSS conference
.
Science of Security
Rockwell Collins
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
2011 HCSS Conference: Science of Security Session
« first
‹ previous
1
2
3
4
next ›
last »
