On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. - Danilo Bruschi; Giovanni Pighizzini; Nicoletta Sabadini (STACS, 1988)

Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract). - Alberto Bertoni; Danilo Bruschi; Deborah Joseph; Meera Sitharam; Paul Young (FCT, 1989)

A Structural Overview of NP Optimization Problems. - Danilo Bruschi; Deborah Joseph; Paul Young (Optimal Algorithms, 1989)

Strong Separations for the Boolean Hierarchy over RP. - Danilo Bruschi; Deborah Joseph; Paul Young (Int. J. Found. Comput. Sci., 1990)

The Complexity of Computing Maximal Word Functions. - Danilo Bruschi; Giovanni Pighizzini (FCT, 1991)

Ranking and Formal Power Series. - Alberto Bertoni; Danilo Bruschi; Massimiliano Goldwurm (Theor. Comput. Sci., 1991)

Strong Separations of the Polynomial Hierarchy with Oracles: Constructive Separations by Immune and Simple Sets. - Danilo Bruschi (Theor. Comput. Sci., 1992)

A user-friendly environment for parallel programming. - Danilo Bruschi; P. Lenzi; Ennio Pozzetti; S. Gobbo; Giuseppe Serazzi (PDP, 1993)

The Complexity of Computing Maximal Word Functions. - Eric Allender; Danilo Bruschi; Giovanni Pighizzini (Comput. Complex., 1993)

On the Existence of Minimum Asynchronous Automata and on the Equivalence Problem for Unambiguous Regular Trace Languages - Danilo Bruschi; Giovanni Pighizzini; Nicoletta Sabadini (Inf. Comput., 1994)

Random Parallel Algorithms for Finding Exact Branchings, Perfect Matchings, and Cycles. - Danilo Bruschi; F. Ravasio (Algorithmica, 1995)

Lower Bounds for the Broadcast Problem in Mobile Radio Networks. - Danilo Bruschi; Massimiliano Del Pinto (Distributed Comput., 1997)

On the Difficulty of Finding Walks of Length k. - Stefano Basagni; Danilo Bruschi; F. Ravasio (RAIRO Theor. Informatics Appl., 1997)

A Tool for Pro-active Defense Against the Buffer Overrun Attack. - Danilo Bruschi; Emilia Rosti; R. Banfi (ESORICS, 1998)

Adding Availability to Log Services of Untrusted Machines. - Arianna Arona; Danilo Bruschi; Emilia Rosti (ACSAC, 1999)

A mobility-transparent deterministic broadcast mechanism for ad hoc networks. - Stefano Basagni; Imrich Chlamtac; Danilo Bruschi (IEEE/ACM Trans. Netw., 1999)

Less Harm, Less Worry or How to Improve Network Security by Bounding System Offensiveness. - Danilo Bruschi; Lorenzo Cavallaro; Emilia Rosti (ACSAC, 2000)

Disarming offense to facilitate defense. - Danilo Bruschi; Emilia Rosti (NSPW, 2000)

A logarithmic lower bound for time-spread multiple-access (TSMA) protocols. - Stefano Basagni; Danilo Bruschi (Wirel. Networks, 2000)

Secure pebblenets. - Stefano Basagni; Kris Herrin; Danilo Bruschi; Emilia Rosti (MobiHoc, 2001)

AngeL: a tool to disarm computer systems. - Danilo Bruschi; Emilia Rosti (NSPW, 2001)

Voice over IPsec: Analysis and Solutions. - Roberto Barbieri; Danilo Bruschi; Emilia Rosti (ACSAC, 2002)

Internet Voting: Do people accept it? Do they trust it? - Danilo Bruschi; Fiorella de Cindio; D. Ferrazzi; Giusi Poletti; Emilia Rosti (DEXA Workshops, 2002)

Secure Multicast in Wireless Networks of Mobile Hosts: Protocols and Issues. - Danilo Bruschi; Emilia Rosti (Mob. Networks Appl., 2002)

How to unwittingly sign non-repudiable documents with Java applications. - Danilo Bruschi; D. Fabris; V. Glave; Emilia Rosti (ACSAC, 2003)

S-ARP: a Secure Address Resolution Protocol. - Danilo Bruschi; A. Ornaghi; Emilia Rosti (ACSAC, 2003)

A quantitative study of Public Key Infrastructures. - Danilo Bruschi; A. Curti; Emilia Rosti (Comput. Secur., 2003)

E-vote and Pki's: a Need, a Bliss or a Curse? - Danilo Bruschi; Giusi Poletti; Emilia Rosti (Secure Electronic Voting, 2003)

Threat Modelling for SQL Servers - Designing a Secure Database in a Web Application. - Elisa Bertino; Danilo Bruschi; Stefano Franzoni; Igor Nai Fovino; Stefano Valtolina (Communications and Multimedia Security, 2004)

Replay Attack in TCG Specification and Solution. - Danilo Bruschi; Lorenzo Cavallaro; Andrea Lanzi; Mattia Monga (ACSAC, 2005)

A Protocol for Anonymous and Accurate E-Polling. - Danilo Bruschi; Igor Nai Fovino; Andrea Lanzi (TCGOV, 2005)

Software engineering for secure systems. - Danilo Bruschi; Bart De Win; Mattia Monga (ACM SIGSOFT Softw. Eng. Notes, 2005)

Detecting Self-mutating Malware Using Control-Flow Graph Matching. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (DIMVA, 2006)

Introduction to software engineering for secure systems: SESS06 - secure by design. - Danilo Bruschi; Bart De Win; Mattia Monga (SESS@ICSE, 2006)

Using Code Normalization for Fighting Self-Mutating Malware. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (ISSSE, 2006)

String distances and intrusion detection: Bridging the gap between formal languages and computer security. - Danilo Bruschi; Giovanni Pighizzini (RAIRO Theor. Informatics Appl., 2006)

Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks. - Danilo Bruschi; Lorenzo Cavallaro; Andrea Lanzi (DIMVA, 2007)

The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. - Danilo Bruschi; Bart De Win; Seok-Won Lee; Mattia Monga (ICSE Companion, 2007)

An Efficient Technique for Preventing Mimicry and Impossible Paths Execution Attacks. - Danilo Bruschi; Lorenzo Cavallaro; Andrea Lanzi (IPCCC, 2007)

Diversified Process Replicæ for Defeating Memory Error Exploits. - Danilo Bruschi; Lorenzo Cavallaro; Andrea Lanzi (IPCCC, 2007)

Code Normalization for Self-Mutating Malware. - Danilo Bruschi; Lorenzo Martignoni; Mattia Monga (IEEE Secur. Priv., 2007)

On Race Vulnerabilities in Web Applications. - Roberto Paleari; Davide Marrone; Danilo Bruschi; Mattia Monga (DIMVA, 2008)

FluXOR: Detecting and Monitoring Fast-Flux Service Networks. - Emanuele Passerini; Roberto Paleari; Lorenzo Martignoni; Danilo Bruschi (DIMVA, 2008)

Surgically Returning to Randomized lib(c). - Giampaolo Fresi Roglia; Lorenzo Martignoni; Roberto Paleari; Danilo Bruschi (ACSAC, 2009)

A Framework for Behavior-Based Malware Analysis in the Cloud. - Lorenzo Martignoni; Roberto Paleari; Danilo Bruschi (ICISS, 2009)

Testing CPU emulators. - Lorenzo Martignoni; Roberto Paleari; Giampaolo Fresi Roglia; Danilo Bruschi (ISSTA, 2009)

A Fistful of Red-Pills: How to Automatically Generate Procedures to Detect CPU Emulators. - Roberto Paleari; Lorenzo Martignoni; Giampaolo Fresi Roglia; Danilo Bruschi (WOOT, 2009)

Conqueror: Tamper-Proof Code Execution on Legacy Systems. - Lorenzo Martignoni; Roberto Paleari; Danilo Bruschi (DIMVA, 2010)

Testing system virtual machines. - Lorenzo Martignoni; Roberto Paleari; Giampaolo Fresi Roglia; Danilo Bruschi (ISSTA, 2010)

N-version disassembly: differential testing of x86 disassemblers. - Roberto Paleari; Lorenzo Martignoni; Giampaolo Fresi Roglia; Danilo Bruschi (ISSTA, 2010)

When hardware meets software: a bulletproof solution to forensic memory acquisition. - Alessandro Reina; Aristide Fattori; Fabio Pagani; Lorenzo Cavallaro; Danilo Bruschi (ACSAC, 2012)

Peering into the Muddy Waters of Pastebin. - Srdjan Matic; Aristide Fattori; Danilo Bruschi; Lorenzo Cavallaro (ERCIM News, 2012)

A methodology for testing CPU emulators. - Lorenzo Martignoni; Roberto Paleari; Alessandro Reina; Giampaolo Fresi Roglia; Danilo Bruschi (ACM Trans. Softw. Eng. Methodol., 2013)

Improving Mac OS X security through gray box fuzzing technique. - Stefano Bianchi Mazzone; Mattia Pagnozzi; Aristide Fattori; Alessandro Reina; Andrea Lanzi; Danilo Bruschi (EUROSEC, 2014)

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IFM, 2017)

Trusted Execution Path for Protecting Java Applications Against Deserialization of Untrusted Data. - Stefano Cristalli; Edoardo Vignati; Danilo Bruschi; Andrea Lanzi (RAID, 2018)

Detecting (absent) app-to-app authentication on cross-device short-distance channels. - Stefano Cristalli; Long Lu; Danilo Bruschi; Andrea Lanzi (ACSAC, 2019)

BootKeeper: Validating Software Integrity Properties on Boot Firmware Images. - Ronny Chevalier; Stefano Cristalli; Christophe Hauser; Yan Shoshitaishvili; Ruoyu Wang 001; Christopher Kruegel; Giovanni Vigna; Danilo Bruschi; Andrea Lanzi (CODASPY, 2019)

Glyph: Efficient ML-Based Detection of Heap Spraying Attacks. - Fabio Pierazzi; Stefano Cristalli; Danilo Bruschi; Michele Colajanni; Mirco Marchetti; Andrea Lanzi (IEEE Trans. Inf. Forensics Secur., 2021)

JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language. - Luca Buccioli; Stefano Cristalli; Edoardo Vignati; Lorenzo Nava; Daniele Badagliacca; Danilo Bruschi; Long Lu; Andrea Lanzi (STM, 2022)

A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IEEE Trans. Dependable Secur. Comput., 2022)

A framework for assessing AI ethics with applications to cybersecurity. - Danilo Bruschi; Nicla Diomede (AI Ethics, 2023)

EmbedWatch: Fat Pointer Solution for Detecting Spatial Memory Errors in Embedded Systems. - Davide Rusconi; Matteo Zoia; Luca Buccioli; Fabio Pierazzi; Danilo Bruschi; Lorenzo Cavallaro; Flavio Toffalini; Andrea Lanzi (CPSIOTSEC@CCS, 2024)

Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks. - Danilo Bruschi; Andrea Di Pasquale; Andrea Lanzi; Elena Pagani (J. Comput. Secur., 2024)

VS-TEE: A Framework for Virtualizing TEEs in ARM Cloud Contexts. - Matteo Zoia; Marco Cutecchia; Davide Rusconi; Andrea Monzani; Mirco Picca; Danilo Bruschi; Andrea Lanzi (CODASPY, 2025)