Publications

Leakage-Free Probabilistic Jasmin Programs

AuthID
P-00Z-B1G

Author(s)

Almeida, JB

Firsov, D

Oliveira, T

Unruh, D

Editor(s)

Stark,K;Timany,A;Blazy,S;Tabareau,N

Document Type

Proceedings Paper

Year published

2025

Published

in Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2025, Denver, CO, USA, January 20-21, 2025 in CPP

Pages: 3-16 (13)

Conference

14Th Acm Sigplan International Conference on Certified Programs and Proofs, Cpp 2025, Co-Located with Popl 2025, Date: 20 January 2025 through 21 January 2025, Location: Denver

Indexing