Peeter Laud, Varmo Vene. A Type System for Computationally Secure Information Flow. In Maciej Liskiewicz, Rüdiger Reischuk, editors, Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings. Volume 3623 of Lecture Notes in Computer Science, pages 365-377, Springer, 2005. [doi]
Abstract is missing.