Publications

@inproceedings{tosem13:cpuemulators,
  Publisher = {ACM},
  Title = {A methodology for testing CPU emulators},
  Booktitle = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  Author = {Lorenzo Martignoni and Roberto Paleari and Alessandro Reina and Giampaolo {Fresi Roglia} and Danilo Bruschi},
  Month = {oct},
  Address = {New York, NY, USA},
  Pages = {29:1--29:26},
}

@inproceedings{raid10:hypersleuth,
  Title = {Live and Trustworthy Forensic Analysis of Commodity Production Systems},
  Booktitle = {Proceedings of the 13$^{th}$ International Symposium on Recent Advances in Intrusion Detection (RAID)},
  Author = {Lorenzo Martignoni and Aristide Fattori and Roberto Paleari and Lorenzo Cavallaro},
  Address = {Ottawa, Canada},
}

@inproceedings{ase10:hyperdbg,
  Title = {Dynamic and Transparent Analysis of Commodity Production Systems},
  Booktitle = {Proceedings of the 25$^{th}$ International Conference on Automated Software Engineering (ASE)},
  Author = {Aristide Fattori and Roberto Paleari and Lorenzo Martignoni and Mattia Monga},
  Address = {Antwerp, Belgium},
}

@inproceedings{usenix10:remediation,
  Title = {Automatic Generation of Remediation Procedures for Malware Infections},
  Booktitle = {Proceedings of the 19$^{th}$ USENIX Security Symposium},
  Author = {Roberto Paleari and Lorenzo Martignoni and Emanuele Passerini and Drew Davidson and Matt Fredrikson and Jon Giffin and Somesh Jha},
  Address = {Washington, DC, USA},
}

@inproceedings{issta10:kemufuzzer,
  Title = {Testing system virtual machines},
  Booktitle = {Proceedings of the 2010 International Symposium on Testing and Analysis (ISSTA)},
  Author = {Lorenzo Martignoni and Roberto Paleari and Giampaolo {Fresi Roglia} and Danilo Bruschi},
  Address = {Trento, Italy},
}

@inproceedings{issta10:nversion,
  Title = {{N-version} disassembly: differential testing of x86 disassemblers},
  Booktitle = {Proceedings of the 2010 International Symposium on Testing and Analysis (ISSTA)},
  Author = {Roberto Paleari and Lorenzo Martignoni and Giampaolo {Fresi Roglia} and Danilo Bruschi},
  Address = {Trento, Italy},
}

@inproceedings{dimva10:conqueror,
  Publisher = {Springer},
  Author = {Lorenzo Martignoni and Roberto Paleari and Danilo Bruschi},
  Series = {Lecture Notes in Computer Science},
  Booktitle = {Proceedings of the 7$^{th}$ Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)},
  Title = {{Conqueror}: tamper-proof code execution on legacy systems},
  Address = {Bonn, Germany},
}

@inproceedings{acsac09:saratoga,
  Publisher = {IEEE},
  Title = {{Surgically returning to randomized lib(c)}},
  Booktitle = {Proceedings of the 25$^{th}$ Annual Computer Security Applications Conference (ACSAC)},
  Author = {Giampaolo {Fresi Roglia} and Lorenzo Martignoni and Roberto Paleari and Danilo Bruschi},
  Address = {Honolulu, Hawaii, USA},
}

@inproceedings{iciss09:piovra,
  Publisher = {Springer},
  Title = {A framework for behavior-based malware analysis in the cloud},
  Booktitle = {Proceedings of the 5$^{th}$ International Conference on Information Systems Security (ICISS)},
  Author = {Lorenzo Martignoni and Roberto Paleari and Danilo Bruschi},
  Address = {Kolkata, India},
}

@inproceedings{woot09:pills,
  Publisher = {ACM},
  Title = {A fistful of red-pills: How to automatically generate procedures to detect {CPU} emulators},
  Booktitle = {Proceedings of the 3$^{rd}$ USENIX Workshop on Offensive Technologies (WOOT)},
  Author = {Roberto Paleari and Lorenzo Martignoni and Giampaolo {Fresi Roglia} and Danilo Bruschi},
  Address = {Montreal, Canada},
}

@inproceedings{issta09:emufuzzer,
  Publisher = {ACM},
  Title = {Testing {CPU} emulators},
  Booktitle = {Proceedings of the 2009 International Conference on Software Testing and Analysis (ISSTA)},
  Author = {Lorenzo Martignoni and Roberto Paleari and Giampaolo {Fresi Roglia} and Danilo Bruschi},
  Address = {Chicago, Illinois, USA},
  Pages = {261--272},
}

@inproceedings{dimva09:remediation,
  Publisher = {Springer},
  Title = {How good are malware detectors at remediating infected systems?},
  Series = {Lecture Notes in Computer Science},
  Booktitle = {Proceedings of the 6$^{th}$ Conference on Detection of Intrusions and Malware \& Vulnerability Assessment (DIMVA)},
  Author = {Emanuele Passerini and Roberto Paleari and Lorenzo Martignoni},
  Address = {Como, Italy},
}

@inproceedings{sess09:phan,
  Title = {A hybrid analysis framework for detecting web application vulnerabilities},
  Booktitle = {Proceedings of the 5$^{th}$ International Workshop on Software Engineering for Secure Systems (SESS)},
  Author = {Mattia Monga and Roberto Paleari and Emanuele Passerini},
  Address = {Vancouver, Canada},
  Organization = {ACM},
}

@inproceedings{dimva08:webrace,
  Publisher = {Springer},
  Title = {On Race Vulnerabilities in Web Applications},
  Series = {Lecture Notes in Computer Science},
  Booktitle = {Proceedings of the 5$^{th}$ Conference on Detection of Intrusions and Malware \& Vulnerability Assessment (DIMVA)},
  Author = {Roberto Paleari, Davide Marrone, Danilo Bruschi and Mattia Monga},
  Address = {Paris, France},
}

@inproceedings{dimva08:fluxor,
  Publisher = {Springer},
  Title = {{FluXOR}: detecting and monitoring fast-flux service networks},
  Series = {Lecture Notes in Computer Science},
  Booktitle = {Proceedings of the 5$^{th}$ Conference on Detection of Intrusions and Malware \& Vulnerability Assessment, DIMVA},
  Author = {Emanuele Passerini and Roberto Paleari and Lorenzo Martignoni and Danilo Bruschi},
  Address = {Paris, France},
}

@inproceedings{sess07:smartfuzzer,
  Title = {A Smart Fuzzer for x86 Executables},
  Booktitle = {Proceedings of the 3$^{rd}$ International Workshop on Software Engineering for Secure Systems (SESS)},
  Author = {Andrea Lanzi and Lorenzo Martignoni and Mattia Monga and Roberto Paleari},
  Address = {Minneapolis, MN, USA},
}