Giovanni Lagorio

53 papers A 6C 3Misc 4Journal 18Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	A Forensic Analysis of the WebView2-based Microsoft Teams Client. ITASEC/SERICS Chiara Bertolotti, Mattia Epifani, Giovanni Lagorio
2026	—	`conf`	AI-Driven Microlearning for Proactive DevSecOps: Closing the Security Skill Gap. ITASEC/SERICS Giampiero Granatella, Maura Cerioli, Giovanni Lagorio, Angelo Lupo
2026	—	`conf`	Software Evolution Metrics for the Detection of Trojan Code in npm Packages. ITASEC/SERICS Giacomo Benedetti, Luca Caviglione, Giovanni Lagorio, Marco Zoratti
2025	—	`conf`	Towards Automated Skill and Competency Management in IT Companies. SoSE Giampiero Granatella, Maura Cerioli, Giovanni Lagorio, Angelo Lupo
2023	J	`jnl`	Fight silent horror unit test methods by consulting a TestWizard. J. Softw. Evol. Process. Maura Cerioli, Giovanni Lagorio, Maurizio Leotta, Filippo Ricca
2022	—	`conf`	Automatic Challenge Generation for Hands-on Cybersecurity Training. EuroS&P Workshops Matteo Benzi, Giovanni Lagorio, Marina Ribaudo
2021	J	`jnl`	Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. ACM Trans. Priv. Secur. Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
2021	—	`conf`	Capture the Flag competitions for Higher Education. ITASEC Giovanni Lagorio, Marina Ribaudo, Alessandro Armando
2021	J	`jnl`	Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware. IEEE Trans. Inf. Forensics Secur. Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2021	J	`jnl`	Longitudinal Study of the Prevalence of Malware Evasive Techniques. CoRR Lorenzo Maffia, Dario Nisi, Platon Kotzias, Giovanni Lagorio, Simone Aonzo, Davide Balzarotti
2020	J	`jnl`	Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. CoRR Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli
2020	—	`conf`	CyberChallenge.IT@Unige: Ethical Hacking for Young Talents. UMAP (Adjunct Publication) Gaspare Ferraro, Giovanni Lagorio, Marina Ribaudo
2020	J	`jnl`	Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations. CoRR Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2020	J	`jnl`	WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs. SoftwareX Andrea Valenza, Luca Demetrio, Gabriele Costa, Giovanni Lagorio
2020	J	`jnl`	WAF-A-MoLE: Evading Web Application Firewalls through Adversarial Machine Learning. CoRR Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
2020	Misc	`conf`	WAF-A-MoLE: evading web application firewalls through adversarial machine learning. SAC Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio
2019	—	`conf`	Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. ITASEC Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2019	J	`jnl`	Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. CoRR Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando
2019	Misc	`conf`	TickEth, a ticketing system built on ethereum. SAC Pietro Corsi, Giovanni Lagorio, Marina Ribaudo
2019	—	`conf`	ZenHackAdemy: Ethical Hacking @ DIBRIS. CSEDU (1) Luca Demetrio, Giovanni Lagorio, Marina Ribaudo, Enrico Russo, Andrea Valenza
2017	C	`conf`	RmPerm: A Tool for Android Permissions Removal. SECRYPT Simone Aonzo, Giovanni Lagorio, Alessio Merlo
2012	J	`jnl`	Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. Giovanni Lagorio, Marco Servetto, Elena Zucca
2012	—	`conf`	Static Single Information Form for Abstract Compilation. IFIP TCS Davide Ancona, Giovanni Lagorio
2011	J	`jnl`	Idealized coinductive type systems for imperative object-oriented programs. RAIRO Theor. Informatics Appl. Davide Ancona, Giovanni Lagorio
2011	J	`jnl`	Strong exception-safety for checked and unchecked exceptions. J. Object Technol. Giovanni Lagorio, Marco Servetto
2010	—	`conf`	Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani
2010	—	`conf`	Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas GANDALF Davide Ancona, Giovanni Lagorio
2010	—	`conf`	Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP Davide Ancona, Giovanni Lagorio
2010	—	`conf`	Strong exception-safety for Java-like languages. FTfJP@ECOOP Giovanni Lagorio, Marco Servetto
2009	—	`conf`	A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek Giovanni Lagorio, Marco Servetto, Elena Zucca
2009	—	`conf`	An idealized coinductive type system for imperative object-oriented programs. ICTCS Davide Ancona, Giovanni Lagorio
2009	A	`conf`	Coinductive Type Systems for Object-Oriented Languages. ECOOP Davide Ancona, Giovanni Lagorio
2009	—	`conf`	Customizable composition operators for Java-like classes. ICTCS Giovanni Lagorio, Marco Servetto, Elena Zucca
2009	A	`conf`	Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP Giovanni Lagorio, Marco Servetto, Elena Zucca
2008	C	`conf`	Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio
2008	—	`conf`	Type Inference by Coinductive Logic Programming. TYPES Davide Ancona, Giovanni Lagorio, Elena Zucca
2007	J	`jnl`	Just: Safe Unknown Types in Java-like Languages. J. Object Technol. Giovanni Lagorio, Elena Zucca
2007	J	`jnl`	Modelling a JVM for polymorphic bytecode. J. Object Technol. Giovanni Lagorio
2007	—	`conf`	Type inference for polymorphic methods in Java-like languages. ICTCS Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	J	`jnl`	A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
2006	—	`conf`	Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC Davide Ancona, Giovanni Lagorio, Elena Zucca
2006	Misc	`conf`	Introducing safe unknown types in Java-like languages. SAC Giovanni Lagorio, Elena Zucca
2004	Misc	`conf`	Another step towards a smart compilation manager for Java. SAC Giovanni Lagorio
2004	J	`jnl`	Capturing ghost dependencies in Java sources. J. Object Technol. Giovanni Lagorio
2004	J	`jnl`	Stronger Typings for Separate Compilation of Java-like Languages . J. Object Technol. Davide Ancona, Giovanni Lagorio
2004	—	`—`	Type system for Java separate compilation and selective recompilation. Giovanni Lagorio
2003	A	`conf`	Flexible Models for Dynamic Linking. ESOP Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
2003	J	`jnl`	Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. Davide Ancona, Giovanni Lagorio, Elena Zucca
2003	—	`conf`	Towards a Smart Compilation Manager for Java. ICTCS Giovanni Lagorio
2002	A	`conf`	A Formal Framework for Java Separate Compilation. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca
2002	C	`conf`	True separate compilation of Java classes. PPDP Davide Ancona, Giovanni Lagorio, Elena Zucca
2001	A	`conf`	A Core Calculus for Java Exceptions. OOPSLA Davide Ancona, Giovanni Lagorio, Elena Zucca
2000	A	`conf`	Jam - A Smooth Extension of Java with Mixins. ECOOP Davide Ancona, Giovanni Lagorio, Elena Zucca