Pages that link to "Item:Q2830026"
From MaRDI portal
The following pages link to Dynamic Measurement and Protected Execution: Model and Analysis (Q2830026):
Displaying 4 items.
- A compiler-hardware approach to software protection for embedded systems (Q1007293) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- A Design Flow and Evaluation Framework for DPA-Resistant Instruction Set Extensions (Q3642935) (← links)
- A Symbolic Model for Systematically Analyzing TEE-Based Protocols (Q6485814) (← links)