Matteo Zanioli, Agostino Cortesi. Information Leakage Analysis by Abstract Interpretation. In Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith G. Jeffery, Rastislav Královic, Marko Vukolic, Stefan Wolf, editors, SOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings. Volume 6543 of Lecture Notes in Computer Science, pages 545-557, Springer, 2011. [doi]
Abstract is missing.