PowerPoint Presentation A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow Torben AmtoftK, Josiah DoddsP, Zhi ZhangK, Andrew AppelP,…
