Proving uniformity and independence by self-composition and coupling

DOI10.29007/vz48zbMath1403.68140arXiv1701.06477OpenAlexW2950053966MaRDI QIDQ4645748

Gilles Barthe, Pierre-Yves Strub, Benjamin Grégoire, Justin Hsu, Thomas Espitau

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1701.06477

zbMATH Keywords

independenceuniformityprogram verificationrelational logicprobabilistic programs

Mathematics Subject Classification ID

Uses Software

• EasyCrypt

This page was built for publication: Proving uniformity and independence by self-composition and coupling