Leakage-free probabilistic Jasmin programsAlmeida, José Bacelar; Firsov, Denis; Oliveira, Tiago; Unruh, DominiqueCPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs2025 / p. 3-16 https://doi.org/10.1145/3703595.3705871 Article at Scopus Article at WOS