A
Menu
June 01, 2019 conference-paper Open access

EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security

Proceedings - Computer Security Foundations Workshop/Proceedings

DOI: 10.1109/csf.2019.00019 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 34

1 result

References 0