Pages that link to "Item:Q1749116"
From MaRDI portal
The following pages link to Fully abstract trace semantics for protected module architectures (Q1749116):
Displaying 4 items.
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Dynamic Measurement and Protected Execution: Model and Analysis (Q2830026) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- Fully Abstract and Robust Compilation (Q6488145) (← links)