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

This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Computation". It contains: - README.md - 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 - 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 - taype-driver-emp.tar.xz: source code of a driver implementing Taype's required cryptographic primitives; this is based on EMP toolkit - taype-theories.tar.xz: Coq formalization of the Taype core calculus - taype-vscode.tar.xz: source code of a VS Code extension that provides basic syntax highlighting for Taype programs 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)