UC/EasyUC Summer School
Since its first draft formulation 25 years ago, the Universally Composable (UC) security framework has been used to specify and analyze the security of cryptographic protocols in multiple scenarios, quickly becoming the gold standard for cryptographic security, while also being used for specifying and analyzing non-cryptographic computing systems. The framework eventually matured with a definitive exposition in the Journal of the ACM.
https://www.bu.edu/riscs/events/uc-easyuc-summer-school/
Links to save from class:
Recordings from Day 1
Recordings from Day 2
Recordings from Day 3
passwords available to registered students only (Google Group)
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
No comments:
Post a Comment