Supplementary Material for "Explicit Secrecy: A Policy for Taint Tracking"

• Full version