Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation: OOPSLA24 Artifact

This is the artifact for the OOPSLA24 paper "Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation". It contains:

• README.md: artifact instructions in markdown format (Rendered version online)
• README.pdf: artifact instructions in pdf format
• taypsi-image-amd64.tar.xz: docker image for amd64 (x86_64) architecture
• taypsi-image-arm64.tar.xz: docker image for arm64 architecture
• Dockerfile: docker file used to generate the docker images
• taypsi.tar.xz: source code of the Taypsi type checker, compiler, examples and benchmarks (Github repository)
• taype-pldi.tar.xz: source code of the Taype type checker and compiler (PLDI23), extended with additional benchmarks for comparison with Taypsi (Github repository)
• taype-sa.tar.xz: source code of a version of Taype with an additional optimization (smart array) for a fairer comparison with Taypsi (Github repository)
• taype-drivers.tar.xz: source code of drivers that implement the cryptographic primitives and oblivious array, used by taypsi and taype-sa (Github repository)
• taype-drivers-legacy.tar.xz: source code of the drivers used by taype-pldi (Github repository)
• taypsi-theories.tar.xz: Coq formalization of the Taypsi core calculus (Github repository)
• taype-vscode.tar.xz: source code of a VS Code extension that provides basic syntax highlighting for Taypsi programs (Github repository)

To evaluate this artifact, you only need to download the docker image for your architecture. Other tarballs provide clean versions of the source code, but you do not need them for evaluation. See README.md / README.pdf for details about this artifact and evaluation instructions. The same README.md is also available in the docker images.