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
» DESIGNED-IN SECURITY (HCSS'13)
Designed-In Security (HCSS'13)
file
Verifying the Trusted Platform Module
Submitted by TimTh on Tue, 05/28/2013 - 8:18am. Contributors:
Perry Alexander
Brigid Halling
Presented as part of the
2013 HCSS conference
.
ABSTRACT
tpm
Trusted Computing
University of Kansas
verification
Academia
Presentation
HCSS'13
Designed-In Security (HCSS'13)
file
Secure Virtualization with Formal Methods
Submitted by TimTh on Tue, 05/14/2013 - 3:22pm. Contributors:
Cynthia Sturton
Rohit Sinha
Petros Maniatis
Sanjit A. Seshia
David Wagner
Presented as part of the
2013 HCSS conference
.
ABSTRACT
Validation and Verification
model checking
model validation
security
UC Berkeley
virtualization software
Academia
Presentation
HCSS'13
Designed-In Security (HCSS'13)
file
Access Control Policy Tool (ACPT), An Assurance Tool That Combines Symbolic Model Checking with Combinatorial Coverage
Submitted by TimTh on Tue, 05/14/2013 - 3:14pm. Contributor:
Vincent Hu
Presented as part of the
2013 HCSS conference
.
ABSTRACT
Access Control
Combinatorial Coverage
model checking
NIST
Presentation
HCSS'13
Designed-In Security (HCSS'13)
