BRUSCHI, DANILO MAURO
BRUSCHI, DANILO MAURO
Dipartimento di Informatica Giovanni Degli Antoni
L’Intelligenza Artificiale negli enti locali
2025 D. Bruschi, A. Ferrara, M. De Corato, S. Castano
Ransomware Detection Using Sample Entropy and Graphical Models: A Methodology for Explainable Artificial Intelligence (XAI) in Cybersecurity
2025 D. Bruschi, M. De Corato, A. Ferrara, S. Salini
VS-TEE: A Framework for Virtualizing TEEs in ARM Cloud Contexts
2025 M. Zoia, M. Cutecchia, D. Rusconi, A. Monzani, M. Picca, D. Bruschi, A. Lanzi
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
La diversificazione delle tecnologie blockchain
2022 D.M. Bruschi, D. Rusconi, M. Zoia
A framework for assessing AI ethics with applications to cybersecurity
2022 D. Bruschi, N. Diomede
Glyph: Efficient ML-Based Detection of Heap Spraying Attacks
2021 F. Pierazzi, S. Cristalli, D. Bruschi, M. Colajanni, M. Marchetti, A. Lanzi
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
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