ILC: a calculus for composable, computational cryptography.

Kevin Liao, Matthew A. Hammer, Andrew Miller

Browse the full PLDI paper archive.