Bruschi Danilo Mauro
PROFESSORE ORDINARIO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA
Contatti
Sede di lavoro
Numero di telefono dell'ufficio
E-mail di ateneo
E-mail
Sito web
Didattica
A.A. 2019/2020
A.A. 2018/2019
A.A. 2017/2018
A.A. 2016/2017
A.A. 2015/2016
Ricerca
Pubblicazioni
-
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.