Published September 17, 2021
| Version v1
Software
Open
Proving full-system security properties under multiple attacker models on capability machines: Coq mechanization
Creators
- 1. KU Leuven
- 2. Aarhus University
- 3. Vrije Universiteit Brussel
Description
This artifact contains the Coq mechanization accompanying the paper
"Proving full-system security properties under multiple attacker models on capability machines", published at the 2022 IEEE Computer Security Foundations Symposium.
Files
Files
(567.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7bfb2335368f15333d91b242966bebae
|
567.1 kB | Download |