Not registered as user yet

Name:Andrew Miller
Affiliation:University of Illinois at Urbana-Champaign, USA

Contributions

PLDI 2019 Author of ILC: A Calculus for Composable, Computational Cryptography within the PLDI Research Papers-track