Taype: A Policy-Agnostic Language for Oblivious Computation: PLDI23 Artifact

This is the artifact for the PLDI23 paper "Taype: A Policy-Agnostic Language for Oblivious Computation". It contains:

- README.md (Rendered version)

- taype-image-amd64.tar.xz: docker image for amd64 (x86_64) architecture

- taype-image-arm64.tar.xz: docker image for arm64 architecture

- Dockerfile: docker file used to generate the docker images

- taype.tar.xz: source code of the Taype compiler and examples (Github repository)

- taype-driver-plaintext.tar.xz: source code of a driver implementing Taype's required cryptographic primitives; this is the plaintext driver, so it does not actually perform any cryptographic operations (Github repository)

- taype-driver-emp.tar.xz: source code of a driver implementing Taype's required cryptographic primitives; this is based on EMP toolkit (Github repository)

- taype-theories.tar.xz: Coq formalization of the Taype core calculus (Github repository)

- taype-vscode.tar.xz: source code of a VS Code extension that provides basic syntax highlighting for Taype programs (Github repository)

See README.md for details about this artifact and evaluation instructions. The same README.md is also available in the docker images (taype-image-amd64.tar.xz or taype-image-arm64.tar.xz).