| 2019 | ACSAC | Detecting (absent) app-to-app authentication on cross-device short-distance channels. | Stefano Cristalli, Long Lu, Danilo Bruschi, Andrea Lanzi |
| 2018 | RAID | Trusted Execution Path for Protecting Java Applications Against Deserialization of Untrusted Data. | Stefano Cristalli, Edoardo Vignati, Danilo Bruschi, Andrea Lanzi |
| 2017 | IFM | 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 |
| 2012 | ACSAC | When hardware meets software: a bulletproof solution to forensic memory acquisition. | Alessandro Reina, Aristide Fattori, Fabio Pagani, Lorenzo Cavallaro, Danilo Bruschi |
| 2010 | DIMVA | Conqueror: Tamper-Proof Code Execution on Legacy Systems. | Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi |
| 2010 | ISSTA | Testing system virtual machines. | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2010 | ISSTA | N-version disassembly: differential testing of x86 disassemblers. | Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2009 | ACSAC | Surgically Returning to Randomized lib(c). | Giampaolo Fresi Roglia, Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi |
| 2009 | ICISS | A Framework for Behavior-Based Malware Analysis in the Cloud. | Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi |
| 2009 | ISSTA | Testing CPU emulators. | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2008 | DIMVA | On Race Vulnerabilities in Web Applications. | Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga |
| 2008 | DIMVA | FluXOR: Detecting and Monitoring Fast-Flux Service Networks. | Emanuele Passerini, Roberto Paleari, Lorenzo Martignoni, Danilo Bruschi |
| 2007 | DIMVA | Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks. | Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi |
| 2007 | IPCCC | An Efficient Technique for Preventing Mimicry and Impossible Paths Execution Attacks. | Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi |
| 2007 | IPCCC | Diversified Process Replic for Defeating Memory Error Exploits. | Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi |
| 2007 | ICSE | The 3rd International Workshop on Software Engineering for Secure Systems SESS07 - Dependable and Secure. | Danilo Bruschi, Bart De Win, Seok-Won Lee, Mattia Monga |
| 2006 | DIMVA | Detecting Self-mutating Malware Using Control-Flow Graph Matching. | Danilo Bruschi, Lorenzo Martignoni, Mattia Monga |
| 2006 | ICSE | Software engineering for secure systems. | Danilo Bruschi, Bart De Win, Mattia Monga |
| 2006 | ICSE | Introduction to software engineering for secure systems: SESS06 - secure by design. | Danilo Bruschi, Bart De Win, Mattia Monga |
| 2005 | ACSAC | Replay Attack in TCG Specification and Solution. | Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi, Mattia Monga |
| 2005 | ICSE | Software engineering for secure systems. | Danilo Bruschi, Bart De Win, Mattia Monga |
| 2003 | ACSAC | How to unwittingly sign non-repudiable documents with Java applications. | Danilo Bruschi, D. Fabris, V. Glave, Emilia Rosti |
| 2003 | ACSAC | S-ARP: a Secure Address Resolution Protocol. | Danilo Bruschi, A. Ornaghi, Emilia Rosti |
| 2002 | ACSAC | Voice over IPsec: Analysis and Solutions. | Roberto Barbieri, Danilo Bruschi, Emilia Rosti |
| 2001 | MOBIHOC | Secure pebblenets. | Stefano Basagni, Kris Herrin, Danilo Bruschi, Emilia Rosti |
| 2001 | NSPW | AngeL: a tool to disarm computer systems. | Danilo Bruschi, Emilia Rosti |
| 2000 | ACSAC | Less Harm, Less Worry or How to Improve Network Security by Bounding System Offensiveness. | Danilo Bruschi, Lorenzo Cavallaro, Emilia Rosti |
| 2000 | NSPW | Disarming offense to facilitate defense. | Danilo Bruschi, Emilia Rosti |
| 1999 | ACSAC | Adding Availability to Log Services of Untrusted Machines. | Arianna Arona, Danilo Bruschi, Emilia Rosti |
| 1998 | ESORICS | A Tool for Pro-active Defense Against the Buffer Overrun Attack. | Danilo Bruschi, Emilia Rosti, R. Banfi |
| 1993 | PDP | A user-friendly environment for parallel programming. | Danilo Bruschi, P. Lenzi, Ennio Pozzetti, S. Gobbo, Giuseppe Serazzi |
| 1991 | FCT | The Complexity of Computing Maximal Word Functions. | Danilo Bruschi, Giovanni Pighizzini |
| 1989 | FCT | Generalized Boolean Hierarchies and Boolean Hierarchies Over RP (Conference Abstract). | Alberto Bertoni, Danilo Bruschi, Deborah Joseph, Meera Sitharam, Paul Young |
| 1988 | STACS | On the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages. | Danilo Bruschi, Giovanni Pighizzini, Nicoletta Sabadini |