BRUSCHI, DANILO MAURO
BRUSCHI, DANILO MAURO
Dipartimento di Informatica Giovanni Degli Antoni
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
A framework for assessing AI ethics with applications to cybersecurity
2022 D. Bruschi, N. Diomede
A logarithmic lower bound for time-spread multiple access protocols
2000 S. Basagni, D. Bruschi
A methodology for testing CPU emulators
2013 L. Martignoni, R. Paleari, A. Reina, G.F. Roglia, D. Bruschi
A mobility-transparent deterministic broadcast mechanism for Ad Hoc networks
1999 S. Basagni, D. Bruschi, I. Chlamtac
A protocol for anonymous and accurate e-polling
2007 D. Bruschi, A. Lanzi, I. Fovino
A quantitative study of Public Key infrastructures
2003 D. Bruschi, A. Curti, E. Rosti
A tool for pro-active defense against the buffer overrun attack
1998 D. Bruschi, E. Rosti, R. Banfi
Adding availability to log services of untrusted machines
1999 A. Arona, D. Bruschi, E. Rosti
An efficient technique for preventing mimicry and impossible paths execution attacks
2007 D. Bruschi, L. Cavallaro, A. Lanzi
AngeL : a tool to disarm computer systems
2001 D. Bruschi, E. Rosti
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
Conqueror : tamper-proof code execution on legacy systems
2010 L. Martignoni, R. Paleari, D.M. Bruschi
Detecting (Absent) App-to-app authentication on cross-device short-distance channels
2019 S. Cristalli, L. Lu, D. Bruschi, A. Lanzi
Detecting Self-Mutating Malware Using Control-Flow Graph Matching
2006 D.M. Bruschi, L. Martignoni, M. Monga
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
Disarming offense to facilitate defense
2000 D. Bruschi, E. Rosti
Diversified process replicae for defeating memory error exploits
2007 D. Bruschi, L. Cavallaro, A. Lanzi
E-vote and PKI’s : a Need, a Bliss or a Curse?
2003 D. Bruschi, G. Poletti, E. Rosti
FluXOR : detecting and monitoring fast-flux service networks
2008 E. Passerini, R. Paleari, L. Martignoni, D.M. Bruschi