Judicaël Courant, Cristian Ene, Yassine Lakhnech. Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. In Vikraman Arvind, Sanjiva Prasad, editors, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Volume 4855 of Lecture Notes in Computer Science, pages 364-375, Springer, 2007. [doi]
Abstract is missing.