Dynamic measurement and protected execution: model and analysis

DOI10.1007/978-3-319-05119-2_4MaRDI QIDQ2830026zbMATH OpenOpenAlexFDO

Authors Shiwei Xu, M. D. Ryan

Publication date 9 November 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-05119-2_4

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Fully abstract trace semantics for protected module architectures
• A compiler-hardware approach to software protection for embedded systems
• A verified information-flow architecture
• Formal abstractions for attested execution secure processors
• Automated Verification of Dynamic Root of Trust Protocols

Cited in

(5)

• A compiler-hardware approach to software protection for embedded systems
• Fully abstract trace semantics for protected module architectures
• A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions
• Secure and privacy-aware multiplexing of hardware-protected TPM integrity measurements among virtual machines
• A Symbolic Model for Systematically Analyzing TEE-Based Protocols

Describes a project that uses

Uses Software

• Flicker

This page was built for publication: Dynamic measurement and protected execution: model and analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2830026)