Matteo Zanioli

According to our database, Matteo Zanioli authored at least 6 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Combining Symbolic and Numerical Domains for Information Leakage Analysis.

Agostino Cortesi, Pietro Ferrara, Raju Halder, Matteo Zanioli

Trans. Comput. Sci., 2018

2014

Information leakage analysis of database query languages.

Raju Halder, Matteo Zanioli, Agostino Cortesi

Proceedings of the Symposium on Applied Computing, 2014

2012

Information flow analysis by abstract interpretation.

Matteo Zanioli

PhD thesis, 2012

SAILS: static analysis of information leakage with sample.

Matteo Zanioli, Pietro Ferrara, Agostino Cortesi

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Widening and narrowing operators for abstract interpretation.

Agostino Cortesi, Matteo Zanioli

Comput. Lang. Syst. Struct., 2011

Information Leakage Analysis by Abstract Interpretation.

Matteo Zanioli, Agostino Cortesi

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011