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
» SUSTAINABLE INTEGRITY (HCSS'15)
Sustainable Integrity (HCSS'15)
file
Bringing Hardware Hacking to Life
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributor:
Colin O'Flynn
Presented as part of the
2015 HCSS conference
.
Abstract:
Fault injection
side-channel power analysis attacks
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Achieving High Speed and High Assurance in a Hardware-Based Cross-Domain System Using Guardol
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributors:
David Hardin
Konrad Slind
Presented as part of the
2015 HCSS conference
.
Abstract:
Cyber Attacks
Guardol
high-assurance
National HCSS Conference 2015
Research Organization
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
A Formal Specification of x86 Memory Management
Submitted by WarrenAHuntJr on Thu, 04/23/2015 - 6:42pm. Contributors:
Shilpi Goel
Warren Hunt
Presented as part of the
2015 HCSS conference
.
Abstract:
Memory management
specification
National HCSS Conference 2015
Academia
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Language-based Hardware Verification with ReWire: Just Say No! to Semantic Archaeology
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributors:
William Harrison
Adam Proctor
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
formal methods
Hardware
ReWire
tools
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Rigorous Architectural Modelling for Production Multiprocessors
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributors:
Shaked Flur
Kathryn Gray
Christopher Pulte
Presented as part of the
2015 HCSS conference
.
Abstract:
Architectures
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Not-quite-so-broken TLS: Lessons in Re-engineering a Security Protocol Specification and Implementation
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributors:
David Kaloper Mersinjak
Anil Madhavapeddy
Hannes Mehnert
Peter Sewell
Presented as part of the
2015 HCSS conference
.
Abstract:
Validation and Verification
Foundations
security protocols
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Remote Attestation for Cloud-Based Systems
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributor:
Perry Alexander
Presented as part of the
2015 HCSS conference
.
Abstract:
Architectures
Foundations
ArmoredSoftware architecture
experimental implementation
protocol semantics
Remote Attestation
National HCSS Conference 2015
Academia
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
file
Detecting Malice in Commodity Software
Submitted by Katie Dey on Thu, 04/23/2015 - 6:42pm. Contributor:
Timothy Fraser
Presented as part of the
2015 HCSS conference
.
Abstract:
commodity software
coordinated research programs
National HCSS Conference 2015
U.S. Government
Abstract
Presentation
HCSS'15
Sustainable Integrity (HCSS'15)
