Peeter Laud. Secrecy types for a simulatable cryptographic library. In Vijay Atluri, Catherine Meadows, Ari Juels, editors, Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005. pages 26-35, ACM, 2005. [doi]
Abstract is missing.