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
Detecting (Absent) App-to-app authentication on cross-device short-distance channels
2019 S. Cristalli, L. Lu, D. Bruschi, A. Lanzi
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
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
N-version disassembly : differential testing of x86 disassemblers
2010 R. Paleari, L. Martignoni, G. Fresi Roglia, D.M. 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
Surgically Returning to Randomized lib(c)
2009 G. Fresi Roglia, L. Martignoni, R. Paleari, D. Bruschi