"EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable ..."

Ran Canetti, Alley Stoughton, Mayank Varia (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics