LANZI, ANDREA
LANZI, ANDREA
Dipartimento di Informatica Giovanni Degli Antoni
A formal verification of ARPON - a tool for avoiding Man-in-the-Middle attacks in Ethernet networks
2021 D. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
A protocol for anonymous and accurate e-polling
2007 D. Bruschi, A. Lanzi, I. Fovino
A quantitative study of accuracy in system call-based malware detection
2012 D. Canali, A. Lanzi, D. Balzarotti, C. Kruegel, M. Christodorescu, E. Kirda
A security game model for remote software protection
2016 N. Basilico, A. Lanzi, M. Monga
A Smart Fuzzer for x86 Executables
2007 A. Lanzi, L. Martignoni, M. Monga, R. Paleari
AccessMiner : using system-centric models for malware protection
2010 A. Lanzi, D. Balzarotti, C. Kruegel, M. Christodorescu, E. Kirda
An efficient technique for preventing mimicry and impossible paths execution attacks
2007 D. Bruschi, L. Cavallaro, A. Lanzi
Automatic reverse engineering of malware emulators
2009 M. Sharif, A. Lanzi, J. Giffin, W. Lee
Bootkeeper: Validating software integrity properties on boot firmware images
2019 R. Chevalier, S. Cristalli, C. Hauser, Y. Shoshitaishvili, R. Wang, C. Kruegel, G. Vigna, D. Bruschi, A. Lanzi
Classification of packed executables for accurate computer virus detection
2008 R. Perdisci, A. Lanzi, W. Lee
Clickshield: Are you hiding something? : Towards eradicating clickjacking on android
2018 A. Possemato, A. Lanzi, S.P.H. Chung, W. Lee, Y. Fratantonio
Detecting (Absent) App-to-app authentication on cross-device short-distance channels
2019 S. Cristalli, L. Lu, D. Bruschi, A. Lanzi
Diversified process replicae for defeating memory error exploits
2007 D. Bruschi, L. Cavallaro, A. Lanzi
Editorial: Advanced Techniques for Memory Forensics Analysis
2019 A. Lanzi
EPIC: a Methodology for Evaluating Privacy Violation Risk in Cybersecurity Systems
2018 S. Mascetti, N. Metoui, A. Lanzi, C. Bettini
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking : a case study
2017 D.M. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani
G-Free : defeating return-oriented programming through gadget-less binaries
2010 K. Onarlioglu, L. Bilge, A. Lanzi, D. Balzarotti, E. Kirda
Glyph: Efficient ML-Based Detection of Heap Spraying Attacks
2021 F. Pierazzi, S. Cristalli, D. Bruschi, M. Colajanni, M. Marchetti, A. Lanzi
Hypervisor memory forensics
2013 M. Graziano, A. Lanzi, D. Balzarotti
Hypervisor-based malware protection with AccessMiner
2015 A. Fattori, A. Lanzi, D. Balzarotti, E. Kirda