Published April 28, 2021 | Version v1
Software Open

Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security (Artifact)

Authors/Creators

  • 1. ETH Zurich

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
md5:8dc72782960665502315deb2c212d642
6.9 GB Download
md5:a5e8c09ac6c2572455ba43fae56959ad
293.3 kB Preview Download
md5:70acf9f3e9f21743e4bcdeab9e5a545b
2.7 kB Download