| Explaining vulnerabilities of deep learning to adversarial malware binaries L Demetrio, B Biggio, G Lagorio, F Roli, A Armando arXiv preprint arXiv:1901.03583, 2019 | 169 | 2019 |
| Functionality-preserving black-box optimization of adversarial windows malware L Demetrio, B Biggio, G Lagorio, F Roli, A Armando IEEE Transactions on Information Forensics and Security 16, 3469-3478, 2021 | 150 | 2021 |
| Adversarial exemples: A survey and experimental evaluation of practical attacks on machine learning for windows malware detection L Demetrio, SE Coull, B Biggio, G Lagorio, A Armando, F Roli ACM Transactions on Privacy and Security (TOPS) 24 (4), 1-31, 2021 | 138 | 2021 |
| Jam-a smooth extension of java with mixins D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 154-178, 2000 | 128 | 2000 |
| Jam---designing a Java extension with mixins D Ancona, G Lagorio, E Zucca ACM Transactions on Programming Languages and Systems (TOPLAS) 25 (5), 641-712, 2003 | 94 | 2003 |
| Widget-Temp: A novel web-based approach for thermoeconomic analysis and optimization of conventional and innovative cycles A Traverso, AF Massardo, W Cazzola, G Lagorio Turbo Expo: Power for Land, Sea, and Air 41723, 623-631, 2004 | 78 | 2004 |
| Flexible models for dynamic linking S Drossopoulou, G Lagorio, S Eisenbach European Symposium on Programming, 38-53, 2003 | 53 | 2003 |
| Waf-a-mole: evading web application firewalls through adversarial machine learning L Demetrio, A Valenza, G Costa, G Lagorio Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1745-1752, 2020 | 39 | 2020 |
| Featherweight jigsaw: A minimal core calculus for modular composition of classes G Lagorio, M Servetto, E Zucca ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009 | 36 | 2009 |
| Coinductive type systems for object-oriented languages D Ancona, G Lagorio ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009 | 35 | 2009 |
| True separate compilation of Java classes D Ancona, G Lagorio, E Zucca Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 32 | 2002 |
| A core calculus for Java exceptions D Ancona, G Lagorio, E Zucca Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001 | 29 | 2001 |
| Idealized coinductive type systems for imperative object-oriented programs D Ancona, G Lagorio RAIRO-Theoretical Informatics and Applications 45 (1), 3-33, 2011 | 26 | 2011 |
| Featherweight jigsaw—replacing inheritance by composition in java-like languages G Lagorio, M Servetto, E Zucca Information and Computation 214, 86-111, 2012 | 23 | 2012 |
| A formal framework for Java separate compilation D Ancona, G Lagorio, E Zucca European Conference on Object-Oriented Programming, 609-635, 2002 | 23 | 2002 |
| Flattening versus direct semantics for Featherweight Jigsaw G Lagorio, M Servetto, E Zucca Proc. Workshop on Foundations of Object-Oriented Languages (FOOL), 2009 | 22 | 2009 |
| Longitudinal study of the prevalence of malware evasive techniques L Maffia, D Nisi, P Kotzias, G Lagorio, S Aonzo, D Balzarotti arXiv preprint arXiv:2112.11289, 2021 | 20 | 2021 |
| CoCoA-5: A System for Doing Computations in Commutative Algebra (2014) J Abbott, A Bigatti, G Lagorio | 20 | |
| Abstract compilation of object-oriented languages into coinductive CLP (X): can type inference meet verification? D Ancona, A Corradi, G Lagorio, F Damiani Formal Verification of Object-Oriented Software: International Conference …, 2011 | 18 | 2011 |
| Stronger typings for separate compilation of Java-like languages D Ancona, G Lagorio Journal of Object Technology 3 (6), 5-25, 2004 | 17 | 2004 |
Davide AnconaGenovaVerified email at unige.it
