SMC² Repository

Artifact Document Contents

• SMC² Semantic Rules
• SMC² Algorithms
• Vanilla C Semantics in SMC² Style
• Proof of Correctness
• Proof of Noninterference
• Example Program Source Code
• Benchmarks

SMC² Source Code

The source code for SMC² is contained within the smc2 directory.

SMC² Docker

The Docker image for SMC² is Dockerfile, with supporting materials in the Docker directory and detailed running instructions in Docker/README