Pantomime: Constructive Leakage Proofs via Simulation Robin Webbers, Robert Schenck, Wind Wong, Kristina Sojakova, Klaus von Gleissenthall PLDI, 2026 PDFDOI
