Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
HCSS Conference Program Committee (2011)
CPS-VO
»
High Confidence Software and Systems Conference Series
»
HCSS Conference Program Committee (2011)
» 2011 SLIDE PRESENTATIONS
2011 Slide Presentations
file
Software Analysis Workbench (SAW)
Submitted by TimTh on Thu, 05/26/2011 - 9:12pm. Contributor:
Joe Hendrix
Galois
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Cryptol Tutorial (HCSS'11)
2011 Slide Presentations
file
Cryptol Tutorial- Part 2:The Second Part
Submitted by weaversa on Thu, 05/26/2011 - 9:03pm. Contributor:
Sean Weaver
DoD
National HCSS Conference 2011
NSA
Presentation
HCSS '11
Cryptol Tutorial (HCSS'11)
2011 Slide Presentations
file
High Assurance Crypto-Development with Cryptol
Submitted by TimTh on Thu, 05/26/2011 - 8:05pm. Contributor:
Levent Erkök
Galois
National HCSS Conference 2011
Industry
Presentation
HCSS '11
Cryptol Tutorial (HCSS'11)
2011 Slide Presentations
file
Keynote Presentation: Making Sound Cyber Security Decisions Through a Quantitative Metrics Approach
Submitted by whs on Sat, 05/14/2011 - 5:26pm. Contributor:
Bill Sanders
University of Illinois at Urbana-Champaign
National HCSS Conference 2011
Academia
Presentation
HCSS '11
Cyber-Physical Systems (HCSS'11)
2011 Slide Presentations
file
Compiler Verification and Beyond: Verified Tools for High-Assurance Software
Submitted by TimTh on Tue, 05/10/2011 - 7:47am. Contributor:
Xavier Leroy
Presented as part of the
2011 HCSS conference
.
Abstract
INRIA
National HCSS Conference 2011
Presentation
HCSS '11
Evidence (HCSS'11)
2011 Slide Presentations