Matteo Zanioli, Agostino Cortesi: Information Leakage Analysis by Abstract Interpretation. SOFSEM 2011: 545-557