Leakage-free probabilistic Jasmin programs
Almeida, José Bacelar
;
Firsov, Denis
;
Oliveira, Tiago
;
Unruh, Dominique
CPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
2025
/
p. 3-16
https://doi.org/10.1145/3703595.3705871
https://www.scopus.com/pages/publications/85217864230?origin=resultslist
https://www.webofscience.com/wos/woscc/full-record/WOS:001437798900003