Logical relations for encryption (0)

by Eijiro Sumii, Benjamin Pierce
Venue:JCS