Danilo Bruschi

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

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

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

Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi: Testing system virtual machines. ISSTA 2010: 171-182

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

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

Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi: A Framework for Behavior-Based Malware Analysis in the Cloud. ICISS 2009: 178-192

Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi: Testing CPU emulators. ISSTA 2009: 261-272

Ulrich Flegel, Danilo Bruschi (Eds.): Detection of Intrusions and Malware, and Vulnerability Assessment, 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings. Lecture Notes in Computer Science 5587, Springer 2009, isbn 978-3-642-02917-2

Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga: On Race Vulnerabilities in Web Applications. DIMVA 2008: 126-142

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

Danilo Bruschi, Lorenzo Martignoni, Mattia Monga: Code Normalization for Self-Mutating Malware. IEEE Security & Privacy 5(2): 46-54 (2007)

Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi: Static Analysis on x86 Executables for Preventing Automatic Mimicry Attacks. DIMVA 2007: 213-230

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: 111-112

Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi: An Efficient Technique for Preventing Mimicry and Impossible Paths Execution Attacks. IPCCC 2007: 418-425

Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi: Diversified Process Replicæ for Defeating Memory Error Exploits. IPCCC 2007: 434-441

Danilo Bruschi, Giovanni Pighizzini: String distances and intrusion detection: Bridging the gap between formal languages and computer security. ITA 40(2): 303-313 (2006)

Danilo Bruschi, Lorenzo Martignoni, Mattia Monga: Detecting Self-mutating Malware Using Control-Flow Graph Matching. DIMVA 2006: 129-143

Danilo Bruschi, Bart De Win, Mattia Monga: Software engineering for secure systems. ICSE 2006: 1007-1008

Danilo Bruschi, Bart De Win, Mattia Monga: Software engineering for secure systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-2 (2005)

Danilo Bruschi, Lorenzo Cavallaro, Andrea Lanzi, Mattia Monga: Replay Attack in TCG Specification and Solution. ACSAC 2005: 127-137

Danilo Bruschi, Bart De Win, Mattia Monga: Software engineering for secure systems. ICSE 2005: 681

Danilo Bruschi, Igor Nai Fovino, Andrea Lanzi: A Protocol for Anonymous and Accurate E-Polling. TCGOV 2005: 112-121

Danilo Bruschi, A. Curti, Emilia Rosti: A quantitative study of Public Key Infrastructures. Computers & Security 22(1): 56-67 (2003)

Danilo Bruschi, A. Ornaghi, Emilia Rosti: S-ARP: a Secure Address Resolution Protocol. ACSAC 2003: 66-74

Danilo Bruschi, D. Fabris, V. Glave, Emilia Rosti: How to unwittingly sign non-repudiable documents with Java applications. ACSAC 2003: 192-196

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

Danilo Bruschi, Emilia Rosti: Secure Multicast in Wireless Networks of Mobile Hosts: Protocols and Issues. MONET 7(6): 503-511 (2002)

Roberto Barbieri, Danilo Bruschi, Emilia Rosti: Voice over IPsec: Analysis and Solutions. ACSAC 2002: 261-270

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

Stefano Basagni, Kris Herrin, Danilo Bruschi, Emilia Rosti: Secure pebblenets. MobiHoc 2001: 156-163

Danilo Bruschi, Emilia Rosti: AngeL: a tool to disarm computer systems. NSPW 2001: 63-69

Stefano Basagni, Danilo Bruschi: A logarithmic lower bound for time-spread multiple-access (TSMA) protocols. Wireless Networks 6(2): 161-163 (2000)

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

Danilo Bruschi, Emilia Rosti: Disarming offense to facilitate defense. NSPW 2000: 69-75

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

Arianna Arona, Danilo Bruschi, Emilia Rosti: Adding Availability to Log Services of Untrusted Machines. ACSAC 1999: 199-206

Danilo Bruschi, Emilia Rosti, R. Banfi: A Tool for Pro-active Defense Against the Buffer Overrun Attack. ESORICS 1998: 17-31

Danilo Bruschi, Massimiliano Del Pinto: Lower Bounds for the Broadcast Problem in Mobile Radio Networks. Distributed Computing 10(3): 129-135 (1997)

Stefano Basagni, Danilo Bruschi, F. Ravasio: On the Difficulty of Finding Walks of Length k. ITA 31(5): 429-435 (1997)

Danilo Bruschi, F. Ravasio: Random Parallel Algorithms for Finding Exact Branchings, Perfect Matchings, and Cycles. Algorithmica 13(4): 346-356 (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): 262-285 (1994)

Eric Allender, Danilo Bruschi, Giovanni Pighizzini: The Complexity of Computing Maximal Word Functions. Computational Complexity 3: 368-391 (1993)

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

Alberto Bertoni, Danilo Bruschi, Massimiliano Goldwurm: Ranking and Formal Power Series. Theor. Comput. Sci. 79(1): 25-35 (1991)

Danilo Bruschi, Giovanni Pighizzini: The Complexity of Computing Maximal Word Functions. FCT 1991: 157-167

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

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

Danilo Bruschi, Deborah Joseph, Paul Young: A Structural Overview of NP Optimization Problems. Optimal Algorithms 1989: 205-231

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: 334-345