Information Leakage Analysis by Abstract Interpretation. - Matteo Zanioli; Agostino Cortesi (SOFSEM, 2011)

Widening and narrowing operators for abstract interpretation. - Agostino Cortesi; Matteo Zanioli (Comput. Lang. Syst. Struct., 2011)

SAILS: static analysis of information leakage with sample. - Matteo Zanioli; Pietro Ferrara 001; Agostino Cortesi (SAC, 2012)

Information flow analysis by abstract interpretation. - Matteo Zanioli (2012)

Information leakage analysis of database query languages. - Raju Halder; Matteo Zanioli; Agostino Cortesi (SAC, 2014)

Combining Symbolic and Numerical Domains for Information Leakage Analysis. - Agostino Cortesi; Pietro Ferrara 001; Raju Halder; Matteo Zanioli (Trans. Comput. Sci., 2018)