I was born on March 24, 1984 in Treviso.
I received the bachelor (109/110) and master degrees (summa cum laude) in Computer Scienze from the Ca' Foscari University of Venice respectively in 2006 and 2008.
My bachelor thesis consisted of an application in Java that implements cryptography algorithm (DES, Triple DES, RSA) with different encryption mode, whereas my master thesis' title was: "ESC: a languages for secure communication".
Since 2009, I am a PhD student in Computer Science at Ca' Foscari University of Venice and Paris Diderot (Paris 7), and I'm a memeber of the Abstract interpretation group of Patrick Cousot at ENS (École Normale Supérieure, Paris). My supervisors are A. Cortesi and R. Cousot.
My main research interest are security, formal methods, verification of security properties and static analysis. To be more precise security analysis by abstract interpretation.
- A. Cortesi and M. Zanioli, Widening and Narrowing Operators for Abstract Interpretation. Computer Languages, Systems and Structures. Volume 37(1), pp. 24-42, Elsevier, ISSN: 1477-8424 (2011)
- M. Zanioli and A. Cortesi, Information Leakage Analysis by Abstract Interpretation. In Proc. 37th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia. Lecture Notes in Computer Science, Springer, ISSN: 0302-9743 (2011)
- M. Zanioli, P. Ferrara and A. Cortesi, SAILS: static analysis of information leakage with Sample. In Proc. 27th ACM Symposium on Applied Computing (SAC 2012), Riva del Garda. (To appear 2012)
Università Ca' Foscari
Via Torino, 155
30173 Venezia Mestre, Italy
École normale supérieure
45, rue d'Ulm
75230 Paris Cedex 05, France
fax: +39 041 234 8419
fax: +33 14 432 2080
GPG key: public_key