Nicoletta De Francesco, Luca Martini. Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations. In Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider, editors, Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Volume 3866 of Lecture Notes in Computer Science, pages 63-80, Springer, 2005. [doi]
Abstract is missing.