Bruschi Danilo Mauro
Full professor
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS
Research fields and competencies
Vocational Master Coordinator
Contacts
Workplace
Office phone number
University email address
E-mail
Web site
Office hours
send an email to danilo[dot]bruschi[at]unimi[dot]it
Office
Room P115, Via Comelico
Teaching
A.Y. 2020/2021
A.Y. 2019/2020
A.Y. 2018/2019
A.Y. 2017/2018
A.Y. 2016/2017
A.Y. 2015/2016
Research
Publications
-
Detecting (Absent) App-to-app authentication on cross-device short-distance channels / S. Cristalli, L. Lu, D. Bruschi, A. Lanzi - In: ACSAC '19: Proceedings[s.l] : ACM, 2019 Dec. - ISBN 9781450376280. - pp. 328-338 (( Intervento presentato al 35. convegno ACSAC tenutosi a San Juan Puerto Rico nel 2019.
-
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.