Published March 9, 2023
| Version v3
Software
Open
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity (Artifact)
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 | Download all |
|---|---|---|
|
md5:27710915e9872e056b4f9ac9fe37887b
|
7.4 GB | Download |
|
md5:d7c7c00a3178ef299dc607c9a3e5d59a
|
187.1 kB | Preview Download |