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

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

OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. - Lorenzo Martignoni; Mihai Christodorescu; Somesh Jha (ACSAC, 2007)

A Smart Fuzzer for x86 Executables. - Andrea Lanzi; Lorenzo Martignoni; Mattia Monga; Roberto Paleari (SESS@ICSE, 2007)

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

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

A Layered Architecture for Detecting Malicious Behaviors. - Lorenzo Martignoni; Elizabeth Stinson; Matt Fredrikson; Somesh Jha; John C. Mitchell (RAID, 2008)

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

How Good Are Malware Detectors at Remediating Infected Systems?. - Emanuele Passerini; Roberto Paleari; Lorenzo Martignoni (DIMVA, 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)

Dynamic and transparent analysis of commodity production systems. - Aristide Fattori; Roberto Paleari; Lorenzo Martignoni; Mattia Monga (ASE, 2010)

Live and Trustworthy Forensic Analysis of Commodity Production Systems. - Lorenzo Martignoni; Aristide Fattori; Roberto Paleari; Lorenzo Cavallaro (RAID, 2010)

Automatic Generation of Remediation Procedures for Malware Infections. - Roberto Paleari; Lorenzo Martignoni; Emanuele Passerini; Drew Davidson; Matt Fredrikson; Jonathon T. Giffin; Somesh Jha (USENIX Security Symposium, 2010)

Statically-directed dynamic automated test generation. - Domagoj Babic; Lorenzo Martignoni; Stephen McCamant; Dawn Song (ISSTA, 2011)

Path-exploration lifting: hi-fi tests for lo-fi emulators. - Lorenzo Martignoni; Stephen McCamant; Pongsin Poosankam; Dawn Song; Petros Maniatis (ASPLOS, 2012)

Cloud Terminal: Secure Access to Sensitive Applications from Untrusted Systems. - Lorenzo Martignoni; Pongsin Poosankam; Matei Zaharia; Jun Han 001; Stephen McCamant; Dawn Song; Vern Paxson; Adrian Perrig; Scott Shenker; Ion Stoica (USENIX ATC, 2012)

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