Thank you for the Cryptography school last year at the Duan Family Center for Computing & Data Sciences of Boston University
https://github.com/easyuc/EasyUC
This work was supported by the National Science Foundation (NSF) under grant CNS-1801564 "Towards Mechanized Proofs of Composable Security Properties" and by the Defense Advanced Research Projects Agency (DARPA) under Contract No. N66001-22-C-4020
#NSF #DARPA
No comments:
Post a Comment