Pages that link to "Item:Q2417947"
From MaRDI portal
The following pages link to System-level non-interference of constant-time cryptography. I: Model (Q2417947):
Displaying 5 items.
- Timed hyperproperties (Q821560) (← links)
- NOR: towards non-intrusive, real-time and OS-agnostic introspection for virtual machines in cloud environment (Q1745071) (← links)
- Automated proof of Bell-LaPadula security properties (Q2031424) (← links)
- System-level non-interference of constant-time cryptography. II: Verified static analysis and stealth memory (Q2228439) (← links)
- Formally Verified Implementation of an Idealized Model of Virtualization (Q2968409) (← links)