| 2020 | SAC | WAF-A-MoLE: evading web application firewalls through adversarial machine learning. | Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio |
| 2019 | CSEDU | ZenHackAdemy: Ethical Hacking @ DIBRIS. | Luca Demetrio, Giovanni Lagorio, Marina Ribaudo, Enrico Russo, Andrea Valenza |
| 2019 | SAC | TickEth, a ticketing system built on ethereum. | Pietro Corsi, Giovanni Lagorio, Marina Ribaudo |
| 2017 | SECRYPT | RmPerm: A Tool for Android Permissions Removal. | Simone Aonzo, Giovanni Lagorio, Alessio Merlo |
| 2010 | ECOOP | Complete coinductive subtyping for abstract compilation of object-oriented languages. | Davide Ancona, Giovanni Lagorio |
| 2010 | ECOOP | Strong exception-safety for Java-like languages. | Giovanni Lagorio, Marco Servetto |
| 2009 | ECOOP | Coinductive Type Systems for Object-Oriented Languages. | Davide Ancona, Giovanni Lagorio |
| 2009 | ECOOP | Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. | Giovanni Lagorio, Marco Servetto, Elena Zucca |
| 2008 | ISoLA | Gesper: Support to Capitalize on Experience in a Network of SMEs. | Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio |
| 2006 | SAC | Introducing safe unknown types in Java-like languages. | Giovanni Lagorio, Elena Zucca |
| 2004 | SAC | Another step towards a smart compilation manager for Java. | Giovanni Lagorio |
| 2003 | ESOP | Flexible Models for Dynamic Linking. | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
| 2002 | ECOOP | A Formal Framework for Java Separate Compilation. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2002 | PPDP | True separate compilation of Java classes. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2001 | OOPSLA | A Core Calculus for Java Exceptions. | Davide Ancona, Giovanni Lagorio, Elena Zucca |
| 2000 | ECOOP | Jam - A Smooth Extension of Java with Mixins. | Davide Ancona, Giovanni Lagorio, Elena Zucca |