Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published March 4, 2022 | Version 1.0
Software Open

Replication package for "ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification"

  • 1. University of Maryland, College Park
  • 2. IMDEA Software Institute
  • 3. Galois, Inc.

Description

The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (set-up and ready to run). The README contains instructions to reproduce results from the paper, as well as pointers for how to use, extend or modify the tool and benchmarks.

Files

556.zip

Files (823.2 kB)

Name Size Download all
md5:3e4b7603308ce876c48e3c938d95e5f7
823.2 kB Preview Download