Publications

Mila Dalla Preda, Isabella Matronei. Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.  International Workshop on Software PRO-tection. Firenze, Italy. (To Appear)


Mila Dalla Preda, Roberto Giacobazzi, Saumya Debray.  Unveiling Metamorphism by Abstract Interpretation of Code Properties. Theoretical Computer Science (To appear)


Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni. Abstract Symbolic Automata: Mixed syntactic/semantic analysis of executables. Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), pages 329-341. Mumbai, India January 2015.


Iasonas Polakis, Panagiotis Ilia, Federico Maggi, Marco Lancini, Georgios Kontaxis, Stefano Zanero. Faces in the Distorting Mirror: Revisiting Photo-based Social Authentication. Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), November 2014. Scottsdale, Arizona.


Iasonas Polakis, Federico Maggi, Stefano Zanero, Angelos D. Keromytis. Security and Privacy Measurements in Social Networks: Experiences and Lessons Learned. Proceedings of the 3rd International Workshop on Building Analysis Datasets and Gathering Experience Returns for Security (BADGERS), September 2014. Wroclaw, Poland


Martina Lindorfer,  Stamatis Volanis,  Alessandro Sisto,  Matthias Neugschwandtner,  Elias Athanasopoulos,  Federico Maggi,  Christian Platzer,  Stefano Zanero,  Sotiris Ioannidis. AndRadar: Fast Discovery of Android Applications in Alternative MarketsProceedings of the 11th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Springer-Verlag, London, UK, July 2014.