Published April 28, 2021
| Version v1
Software
Open
Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security (Artifact)
Description
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security".
The artifact comes in the form of a VirtualBox VM image (artifact.ova). Instructions for running the VM image and using the artifact can be found in the README.
Files
README.pdf
Files
(6.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8dc72782960665502315deb2c212d642
|
6.9 GB | Download |
|
md5:a5e8c09ac6c2572455ba43fae56959ad
|
293.3 kB | Preview Download |
|
md5:70acf9f3e9f21743e4bcdeab9e5a545b
|
2.7 kB | Download |