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 |