Liao Presents Work on Universal Composability Framework Implementation

Kevin Liao presented work entitled ILC: A Calculus for Composable, Computational Cryptography at PLDI 2019. The implementation of Liao et al., dubbed SaUCy, is a significantly simplified version of Universal Composability. Read more about the work of Liao et al. here.