Published March 9, 2023 | Version v3
Software Open

CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity (Artifact)

Authors/Creators

  • 1. ROR icon ETH Zurich

Description

This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity". For more information, see the description of the artifact in "README.pdf".

Files

README.pdf

Files (7.4 GB)

Name Size
md5:27710915e9872e056b4f9ac9fe37887b
7.4 GB Download
md5:d7c7c00a3178ef299dc607c9a3e5d59a
187.1 kB Preview Download