Surgically Returning to Randomized lib(c). - Giampaolo Fresi Roglia; Lorenzo Martignoni; Roberto Paleari; Danilo Bruschi (ACSAC, 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)

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)

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