Published November 8, 2019
| Version v1
Software
Open
Coq development for "The High-Level Benefits of Low-Level Sandboxing"
- 1. MPI-SWS
- 2. Friedrich-Alexander Universität Erlangen-Nürnberg
Description
This is the artifact for the POPL'20 paper "The High-Level Benefits of Low-Level Sandboxing". It contains the Coq development formalizing the results of the paper.
Files
Files
(1.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:ff88cceaa6b48ae00c8a99f90dafb14e
|
1.9 GB | Download |