BRUSCHI, DANILO MAURO
BRUSCHI, DANILO MAURO
Dipartimento di Informatica Giovanni Degli Antoni
Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks
2024 D. Bruschi, A. Di Pasquale, A. Lanzi, E. Pagani
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
N-version disassembly : differential testing of x86 disassemblers
2010 R. Paleari, L. Martignoni, G. Fresi Roglia, D.M. Bruschi
Testing system virtual machines
2010 L. Martignoni, R. Paleari, G. Fresi Roglia, D.M. Bruschi
Conqueror : tamper-proof code execution on legacy systems
2010 L. Martignoni, R. Paleari, 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
Testing CPU emulators
2009 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