Secrecy types for a simulatable cryptographic library.

Peeter Laud Secrecy types for a simulatable cryptographic library. 26-35 2005 conf/ccs/2005 CCS https://doi.org/10.1145/1102120.1102126 db/conf/ccs/ccs2005.html#Laud05