Danilo Bruschi

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 9

Top Topics

Formal Verification

Fractal Dimension

Visual Patterns

Top Venues

IEEE Trans. Inf. Forensics Secur.

Publications

Danilo Bruschi, Nicla Diomede
A framework for assessing AI ethics with applications to cybersecurity. AI Ethics 3 (1) (2023)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Luca Buccioli, Stefano Cristalli, Edoardo Vignati, Lorenzo Nava, Daniele Badagliacca, Danilo Bruschi, Long Lu, Andrea Lanzi
JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language. STM (2022)
Fabio Pierazzi, Stefano Cristalli, Danilo Bruschi, Michele Colajanni, Mirco Marchetti, Andrea Lanzi
Glyph: Efficient ML-Based Detection of Heap Spraying Attacks. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Stefano Cristalli, Long Lu, Danilo Bruschi, Andrea Lanzi
Detecting (absent) app-to-app authentication on cross-device short-distance channels. ACSAC (2019)
Ronny Chevalier, Stefano Cristalli, Christophe Hauser, Yan Shoshitaishvili, Ruoyu Wang, Christopher Kruegel, Giovanni Vigna, Danilo Bruschi, Andrea Lanzi
BootKeeper: Validating Software Integrity Properties on Boot Firmware Images. CoRR (2019)
Ronny Chevalier, Stefano Cristalli, Christophe Hauser, Yan Shoshitaishvili, Ruoyu Wang, Christopher Kruegel, Giovanni Vigna, Danilo Bruschi, Andrea Lanzi
BootKeeper: Validating Software Integrity Properties on Boot Firmware Images. CODASPY (2019)
Stefano Cristalli, Edoardo Vignati, Danilo Bruschi, Andrea Lanzi
Trusted Execution Path for Protecting Java Applications Against Deserialization of Untrusted Data. RAID (2018)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. IFM (2017)
Stefano Bianchi Mazzone, Mattia Pagnozzi, Aristide Fattori, Alessandro Reina, Andrea Lanzi, Danilo Bruschi
Improving Mac OS X security through gray box fuzzing technique. EUROSEC (2014)
Lorenzo Martignoni, Roberto Paleari, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi
A methodology for testing CPU emulators. ACM Trans. Softw. Eng. Methodol. 22 (4) (2013)
Alessandro Reina, Aristide Fattori, Fabio Pagani, Lorenzo Cavallaro, Danilo Bruschi
When hardware meets software: a bulletproof solution to forensic memory acquisition. ACSAC (2012)
Srdjan Matic, Aristide Fattori, Danilo Bruschi, Lorenzo Cavallaro
Peering into the Muddy Waters of Pastebin. ERCIM News 2012 (90) (2012)
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi
N-version disassembly: differential testing of x86 disassemblers. ISSTA (2010)
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi
Testing system virtual machines. ISSTA (2010)
Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi
Conqueror: Tamper-Proof Code Execution on Legacy Systems. DIMVA (2010)
Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi
A Framework for Behavior-Based Malware Analysis in the Cloud. ICISS (2009)
Giampaolo Fresi Roglia, Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi
Surgically Returning to Randomized lib(c). ACSAC (2009)
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi
Testing CPU emulators. ISSTA (2009)
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi
A Fistful of Red-Pills: How to Automatically Generate Procedures to Detect CPU Emulators. WOOT (2009)
Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga
On Race Vulnerabilities in Web Applications. DIMVA (2008)
Emanuele Passerini, Roberto Paleari, Lorenzo Martignoni, Danilo Bruschi
FluXOR: Detecting and Monitoring Fast-Flux Service Networks. DIMVA (2008)
Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi
Diversified Process Replicæ for Defeating Memory Error Exploits. IPCCC (2007)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Code Normalization for Self-Mutating Malware. IEEE Secur. Priv. 5 (2) (2007)
Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi
Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks. DIMVA (2007)
Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi
An Efficient Technique for Preventing Mimicry and Impossible Paths Execution Attacks. IPCCC (2007)
Danilo Bruschi, Bart De Win, Seok-Won Lee, Mattia Monga
The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. ICSE Companion (2007)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Using Code Normalization for Fighting Self-Mutating Malware. ISSSE (2006)
Danilo Bruschi, Bart De Win, Mattia Monga
Introduction to software engineering for secure systems: SESS06 - secure by design. SESS@ICSE (2006)
Danilo Bruschi, Giovanni Pighizzini
String distances and intrusion detection: Bridging the gap between formal languages and computer security. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ICSE (2006)
Danilo Bruschi, Lorenzo Martignoni, Mattia Monga
Detecting Self-mutating Malware Using Control-Flow Graph Matching. DIMVA (2006)
Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi, Mattia Monga
Replay Attack in TCG Specification and Solution. ACSAC (2005)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ICSE (2005)
Danilo Bruschi, Bart De Win, Mattia Monga
Software engineering for secure systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Danilo Bruschi, Igor Nai Fovino, Andrea Lanzi
A Protocol for Anonymous and Accurate E-Polling. TCGOV (2005)
Elisa Bertino, Danilo Bruschi, Stefano Franzoni, Igor Nai Fovino, Stefano Valtolina
Threat Modelling for SQL Servers - Designing a Secure Database in a Web Application. Communications and Multimedia Security (2004)
Danilo Bruschi, D. Fabris, V. Glave, Emilia Rosti
How to unwittingly sign non-repudiable documents with Java applications. ACSAC (2003)
Danilo Bruschi, A. Curti, Emilia Rosti
A quantitative study of Public Key Infrastructures. Comput. Secur. 22 (1) (2003)
Danilo Bruschi, A. Ornaghi, Emilia Rosti
S-ARP: a Secure Address Resolution Protocol. ACSAC (2003)
Danilo Bruschi, Fiorella de Cindio, D. Ferrazzi, Giusi Poletti, Emilia Rosti
Internet Voting: Do people accept it? Do they trust it? DEXA Workshops (2002)
Roberto Barbieri, Danilo Bruschi, Emilia Rosti
Voice over IPsec: Analysis and Solutions. ACSAC (2002)
Danilo Bruschi, Emilia Rosti
Secure Multicast in Wireless Networks of Mobile Hosts: Protocols and Issues. Mob. Networks Appl. 7 (6) (2002)
Stefano Basagni, Kris Herrin, Danilo Bruschi, Emilia Rosti
Secure pebblenets. MobiHoc (2001)
Danilo Bruschi, Emilia Rosti
AngeL: a tool to disarm computer systems. NSPW (2001)
Danilo Bruschi, Emilia Rosti
Disarming offense to facilitate defense. NSPW (2000)
Danilo Bruschi, Lorenzo Cavallaro, Emilia Rosti
Less Harm, Less Worry or How to Improve Network Security by Bounding System Offensiveness. ACSAC (2000)
Stefano Basagni, Danilo Bruschi
A logarithmic lower bound for time-spread multiple-access (TSMA) protocols. Wirel. Networks 6 (2) (2000)
Stefano Basagni, Imrich Chlamtac, Danilo Bruschi
networks. IEEE/ACM Trans. Netw. 7 (6) (1999)
Arianna Arona, Danilo Bruschi, Emilia Rosti
Adding Availability to Log Services of Untrusted Machines. ACSAC (1999)
Danilo Bruschi, Emilia Rosti, R. Banfi
A Tool for Pro-active Defense Against the Buffer Overrun Attack. ESORICS (1998)
Stefano Basagni, Danilo Bruschi, F. Ravasio
. RAIRO Theor. Informatics Appl. 31 (5) (1997)
Danilo Bruschi, Massimiliano Del Pinto
Lower Bounds for the Broadcast Problem in Mobile Radio Networks. Distributed Comput. 10 (3) (1997)
Danilo Bruschi, F. Ravasio
Random Parallel Algorithms for Finding Exact Branchings, Perfect Matchings, and Cycles. Algorithmica 13 (4) (1995)
Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini
On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages Inf. Comput. 108 (2) (1994)
Eric Allender, Danilo Bruschi, Giovanni Pighizzini
The Complexity of Computing Maximal Word Functions. Comput. Complex. 3 (1993)
Danilo Bruschi, P. Lenzi, Ennio Pozzetti, S. Gobbo, Giuseppe Serazzi
A user-friendly environment for parallel programming. PDP (1993)
Danilo Bruschi
Strong Separations of the Polynomial Hierarchy with Oracles: Constructive Separations by Immune and Simple Sets. Theor. Comput. Sci. 102 (2) (1992)
Alberto Bertoni, Danilo Bruschi, Massimiliano Goldwurm
Ranking and Formal Power Series. Theor. Comput. Sci. 79 (1) (1991)
Danilo Bruschi, Giovanni Pighizzini
The Complexity of Computing Maximal Word Functions. FCT (1991)
Danilo Bruschi, Deborah Joseph, Paul Young
Strong Separations for the Boolean Hierarchy over RP. Int. J. Found. Comput. Sci. 1 (3) (1990)
Alberto Bertoni, Danilo Bruschi, Deborah Joseph, Meera Sitharam, Paul Young
Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract). FCT (1989)
Danilo Bruschi, Deborah Joseph, Paul Young
A Structural Overview of NP Optimization Problems. Optimal Algorithms (1989)
Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini
On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. STACS (1988)