Proving uniformity and independence by self-composition and coupling.

Gilles Barthe, Thomas Espitau, Benjamin Grgoire, Justin Hsu, Pierre-Yves Strub

Browse the full LPAR paper archive.