Logical Relations for Encryption (2002)

by Eijiro Sumii , Benjamin C. Pierce
Citations:38 - 2 self