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
Presentation
file
Moving-Target Defense With Configuration-Space Randomization
Submitted by TimTh on Thu, 05/26/2011 - 8:38pm. Contributor:
Sanjai Narain
Presented as part of the
2011 HCSS conference
.
Science of Security
Telcordia Technologies
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Science of Security (HCSS'11)
file
Time for High-Confidence Software Systems
Submitted by Edward Lee on Thu, 05/26/2011 - 8:29pm. Contributor:
Edward A. Lee
Presented as part of the
2011 HCSS conference
.
University of California at Berkeley
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
file
Proposed Formal Methods Supplement for RTCA DO 178C
Submitted by TimTh on Thu, 05/26/2011 - 8:08pm. Contributor:
Jeffrey Joyce
Presented as part of the
2011 HCSS conference
.
Critical Systems Labs
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Evidence (HCSS'11)
file
Parametric Verification of Address Space Separation
Submitted by TimTh on Thu, 05/26/2011 - 7:44pm. Contributor:
Jason Franklin
Presented as part of the
2011 HCSS conference
.
Carnegie Mellon University
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Evidence (HCSS'11)
file
The Open World Framework
Submitted by TimTh on Thu, 05/26/2011 - 6: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 - 9: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 - 9: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 - 9: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 - 9: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 - 9: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
« first
‹ previous
…
222
223
224
225
226
227
228
229
230
…
next ›
last »
