Bruschi Danilo Mauro

Full professor
Competition sector



Via Celoria, 18

Office phone number
02503 16260
University email address
Web site
send an email to danilo[dot]bruschi[at]unimi[dot]it
Reception office
Room P115, Via Comelico



  • Bootkeeper: Validating software integrity properties on boot firmware images / R. Chevalier, S. Cristalli, C. Hauser, Y. Shoshitaishvili, R. Wang, C. Kruegel, G. Vigna, D. Bruschi, A. Lanzi - In: CODASPY '19 : Proceedings[s.l] : ACM, 2019 Mar. - ISBN 9781450360999. - pp. 315-325 (( Intervento presentato al 9. convegno CODASPY tenutosi a Richardson nel 2019.
  • Trusted execution path for protecting java applications against deserialization of untrusted data / S. Cristalli, E. Vignati, D. Bruschi, A. Lanzi (LECTURE NOTES IN COMPUTER SCIENCE). - In: Research in Attacks, Intrusions, and Defenses / [a cura di] M. Bailey, T. Holz, M. Stamatogiannakis, S. Ioannidis. - [s.l] : Springer Verlag, 2018. - ISBN 9783030004699. - pp. 445-464 (( Intervento presentato al 21. convegno International Symposium on Research in Attacks, Intrusions and Defenses tenutosi a Heraklion nel 2018.
  • Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study / D.M. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani - In: Integrated Formal Methods / [a cura di] N. Polikarpova, S. Schneider. - Prima edizione. - [s.l] : Springer, 2017 Sep. - ISBN 9783319668444. - pp. 391-406 (( Intervento presentato al 13. convegno International Conference on Integrated Formal Methods tenutosi a Torino nel 2017.
  • Improving Mac OS X security through gray box fuzzing technique / S.B. Mazzone, M. Pagnozzi, A. Fattori, A. Reina, A. Lanzi, D. Bruschi - In: EuroSys 2014New York : Association for Computing Machinery, 2014. - ISBN 9781450327152. - pp. 1-6 (( Intervento presentato al 7. convegno European Workshop on System Security (EuroSys) tenutosi a Amsterdam nel 2014.
  • A methodology for testing CPU emulators / L. Martignoni, R. Paleari, A. Reina, G.F. Roglia, D. Bruschi. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 22:4(2013 Oct), pp. 29.1-29.26.