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
»
2015
National HCSS Conference 2015
file
Reconciling Provable Security and Practical Cryptography: A Programming Language Perspective
Submitted by Katie Dey on Thu, 04/23/2015 - 6:44pm. Contributor:
Gilles Barth
Presented as part of the
2015 HCSS conference
.
Abstract:
Cryptography
EasyCrypt
tools
National HCSS Conference 2015
Industry
Abstract
Presentation
HCSS'15
Privacy (HCSS'15)
file
Building Privacy-Aware Computing Systems: An Overview of Current Capabilities and Technical Challenges
Submitted by Katie Dey on Thu, 04/23/2015 - 6:44pm. Contributor:
Shantanu Rane
Presented as part of the
2015 HCSS conference
.
Abstract:
big-data analytics
privacy
privacy-aware computing
National HCSS Conference 2015
Research Organization
Abstract
Presentation
HCSS'15
Privacy (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
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
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
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)
« first
‹ previous
1
2
3
4
5
next ›
last »
