Supplementary Material for Understanding and Enforcing Opacity

Extended version

opacity.pdf

Implementation

Source code of implementation

Formal proofs

Formal proofs in Isabelle/HOL