Bruschi Danilo Mauro

Full professor
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

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

Education

Research

Publications
  • Information Privacy: Not Just GDPR / D.M. Bruschi - In: Risk & Cybersecurity / [a cura di] D. Wittkower. - [s.l] : ODU Digital Commons, 2019 Aug. - pp. 1-10 (( convegno Computer Ethics Philosiphical Enquiry tenutosi a Norfolk nel 2019.
  • 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.