Danilo Bruschi

70 papers A* 2A 15B 10C 5Misc 1Journal 22Unranked 13

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