BRUSCHI, DANILO MAURO
BRUSCHI, DANILO MAURO
Dipartimento di Informatica Giovanni Degli Antoni
La Cybersecurity negli enti locali
2024 D. Bruschi, A. Ferrara, M. DE CORATO
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks
2024 D. Bruschi, A. Di Pasquale, A. Lanzi, E. Pagani
EmbedWatch: Fat Pointer Solution for Detecting Spatial Memory Errors in Embedded Systems
2024 D. Rusconi, M. Zoia, L. Buccioli, F. Pierazzi, D. Bruschi, L. Cavallaro, F. Toffalini, A. Lanzi
JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language
2023 L. Buccioli, S. Cristalli, E. Vignati, L. Nava, D. Badagliacca, D. Bruschi, L. Lu, A. Lanzi
A framework for assessing AI ethics with applications to cybersecurity
2022 D. Bruschi, N. Diomede
La diversificazione delle tecnologie blockchain
2022 D.M. Bruschi, D. Rusconi, M. Zoia
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks
2021 D. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
Glyph: Efficient ML-Based Detection of Heap Spraying Attacks
2021 F. Pierazzi, S. Cristalli, D. Bruschi, M. Colajanni, M. Marchetti, A. Lanzi
Information Privacy: Not Just GDPR
2019 D.M. Bruschi
Bootkeeper: Validating software integrity properties on boot firmware images
2019 R. Chevalier, S. Cristalli, C. Hauser, Y. Shoshitaishvili, R. Wang, C. Kruegel, G. Vigna, D. Bruschi, A. Lanzi
Detecting (Absent) App-to-app authentication on cross-device short-distance channels
2019 S. Cristalli, L. Lu, D. Bruschi, A. Lanzi
Trusted execution path for protecting java applications against deserialization of untrusted data
2018 S. Cristalli, E. Vignati, D. Bruschi, A. Lanzi
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study
2017 D.M. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
Improving Mac OS X security through gray box fuzzing technique
2014 S.B. Mazzone, M. Pagnozzi, A. Fattori, A. Reina, A. Lanzi, D. Bruschi
A methodology for testing CPU emulators
2013 L. Martignoni, R. Paleari, A. Reina, G.F. Roglia, D. Bruschi
When hardware meets software : a bulletproof solution to forensic memory acquisition
2012 A. Reina, A. Fattori, F. Pagani, L. Cavallaro, D. Bruschi
Conqueror : tamper-proof code execution on legacy systems
2010 L. Martignoni, R. Paleari, D.M. Bruschi
Testing system virtual machines
2010 L. Martignoni, R. Paleari, G. Fresi Roglia, D.M. Bruschi
N-version disassembly : differential testing of x86 disassemblers
2010 R. Paleari, L. Martignoni, G. Fresi Roglia, D.M. Bruschi
Detection of intrusions and malware, and vulnerability assessment : 6th international conference, DIMVA 2009, Como, Italy, July 9-10, 2009 : proceedings
2009 D. Bruschi, U. Flegel