Follow
Giovanni Lagorio
Giovanni Lagorio
Assistant Professor of Computer Science, Universitą di Genova
Verified email at unige.it - Homepage
Title
Cited by
Cited by
Year
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
1502019
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
1302021
Jam-a smooth extension of java with mixins
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 154-178, 2000
1302000
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
1112021
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
942003
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
752004
Flexible models for dynamic linking
S Drossopoulou, G Lagorio, S Eisenbach
European Symposium on Programming, 38-53, 2003
532003
Coinductive type systems for object-oriented languages
D Ancona, G Lagorio
ECOOP 2009–Object-Oriented Programming: 23rd European Conference, Genoa …, 2009
362009
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
362009
True separate compilation of Java classes
D Ancona, G Lagorio, E Zucca
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
322002
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
302020
A core calculus for Java exceptions
D Ancona, G Lagorio, E Zucca
Proceedings of the 16th ACM SIGPLAN conference on Object-oriented …, 2001
292001
Idealized coinductive type systems for imperative object-oriented programs
D Ancona, G Lagorio
RAIRO-Theoretical Informatics and Applications 45 (1), 3-33, 2011
272011
A formal framework for Java separate compilation
D Ancona, G Lagorio, E Zucca
European Conference on Object-Oriented Programming, 609-635, 2002
232002
Featherweight jigsaw—replacing inheritance by composition in java-like languages
G Lagorio, M Servetto, E Zucca
Information and Computation 214, 86-111, 2012
222012
Flattening versus direct semantics for Featherweight Jigsaw
G Lagorio, M Servetto, E Zucca
Proc. Workshop on Foundations of Object-Oriented Languages (FOOL), 2009
222009
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
212011
CoCoA-5: A System for Doing Computations in Commutative Algebra (2014)
J Abbott, A Bigatti, G Lagorio
20
Stronger typings for separate compilation of Java-like languages
D Ancona, G Lagorio
Journal of Object Technology 3 (6), 5-25, 2004
172004
Type inference by coinductive logic programming
D Ancona, G Lagorio, E Zucca
Types for Proofs and Programs: International Conference, TYPES 2008 Torino …, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20