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 2017
HCSS 2017
file
Certifying SAT Proofs
Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:
Warren Hunt
Presented as part of the
2017 HCSS conference
.
ABSTRACT
HCSS 2017
file
Cross-Tool Semantics for Protocol Security Goals
Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:
Joshua Guttman
Presented as part of the
2017 HCSS conference
.
Abstract:
MITRE
HCSS 2017
file
SunDew: Systematic Automated Security Testing
Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:
Franjo Ivancic
Presented as part of the
2017 HCSS conference
.
ABSTRACT
Google
HCSS 2017
file
Proving Amazon's s2n Correct
Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:
Joey Dodds
Presented as part of the
2017 HCSS conference
.
ABSTRACT
Galois
HCSS 2017
file
Z3str3: A DPLL(T) Solver for a Theory of Strings and Integers
Submitted by Katie Dey on Tue, 04/11/2017 - 6:36pm. Contributor:
Murphy Berzish
Presented as part of the
2017 HCSS conference
.
ABSTRACT
HCSS 2017
« first
‹ previous
1
2
3
