Login / Signup

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

Ran CanettiAlley StoughtonMayank Varia
Published in: CSF (2019)
Keyphrases