Giovanni Lagorio

Most-cited papers

1. Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware

   Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more

   2020IEEE Transactions on Information Forensics and Security199 citations Open access

   Semantic Scholar

   Save

2. Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries

   Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more

   2019Italian Conference on Cybersecurity154 citations

   Semantic Scholar

   Save

3. Jam - A Smooth Extension of Java with Mixins

   D. Ancona, Giovanni Lagorio, E. Zucca

   2000European Conference on Object-Oriented Programming122 citations

   Semantic Scholar

   Save

4. Adversarial EXEmples

   Luca Demetrio, Scott E. Coull, B. Biggio, Giovanni Lagorio +2 more

   2020ACM Transactions on Privacy and Security92 citations Open access

   Semantic Scholar

   Save

5. Jam---designing a Java extension with mixins

   D. Ancona, Giovanni Lagorio, E. Zucca

   2003TOPL77 citations Open access

   Semantic Scholar

   Save

6. WAF-A-MoLE: evading web application firewalls through adversarial machine learning

   Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio

   2020ACM Symposium on Applied Computing58 citations Open access

   Semantic Scholar

   Save

7. Flexible Models for Dynamic Linking

   S. Drossopoulou, Giovanni Lagorio, S. Eisenbach

   2003European Symposium on Programming47 citations Open access

   Semantic Scholar

   Save

8. WIDGET-TEMP: A Novel Web-Based Approach for Thermoeconomic Analysis and Optimization of Conventional and Innovative Cycles

   A. Traverso, A. Massardo, W. Cazzola, Giovanni Lagorio

   200446 citations Open access

   Semantic Scholar

   Save

9. Coinductive Type Systems for Object-Oriented Languages

   D. Ancona, Giovanni Lagorio

   2009European Conference on Object-Oriented Programming35 citations

   Semantic Scholar

   Save

10. True separate compilation of Java classes

    D. Ancona, Giovanni Lagorio, E. Zucca

    2002ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming35 citations

    Semantic Scholar

    Save

11. Longitudinal Study of the Prevalence of Malware Evasive Techniques

    L. Maffia, Dario Nisi, Platon Kotzias, Giovanni Lagorio +2 more

    2021arXiv.org30 citations

    Semantic Scholar

    Save

12. Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes

    Giovanni Lagorio, Marco Servetto, E. Zucca

    2009European Conference on Object-Oriented Programming28 citations

    Semantic Scholar

    Save

13. A Formal Framework for Java Separate Compilation

    D. Ancona, Giovanni Lagorio, E. Zucca

    2002European Conference on Object-Oriented Programming28 citations

    Semantic Scholar

    Save

14. Idealized coinductive type systems for imperative object-oriented programs

    D. Ancona, Giovanni Lagorio

    2011RAIRO - Theoretical Informatics and Applications27 citations Open access

    Semantic Scholar

    Save

15. A core calculus for Java exceptions

    D. Ancona, Giovanni Lagorio, E. Zucca

    2001Conference on Object-Oriented Programming Systems, Languages, and Applications26 citations

    Semantic Scholar

    Save

16. Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?

    D. Ancona, A. Corradi, Giovanni Lagorio, Ferruccio Damiani

    2010Formal Verification of Object-Oriented Software21 citations

    Semantic Scholar

    Save

17. WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs

    Andrea Valenza, Luca Demetrio, Gabriele Costa, Giovanni Lagorio

    2020SoftwareX18 citations Open access

    Semantic Scholar

    Save

18. Flattening versus direct semantics for Featherweight Jigsaw ∗

    Giovanni Lagorio, Marco Servetto, E. Zucca

    200718 citations

    Semantic Scholar

    Save

19. Type Inference by Coinductive Logic Programming

    D. Ancona, Giovanni Lagorio, E. Zucca

    2009Types for Proofs and Programs17 citations

    Semantic Scholar

    Save

20. Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages

    Giovanni Lagorio, Marco Servetto, E. Zucca

    2012Information and Computation16 citations Open access

    Semantic Scholar

    Save

21. Static Single Information Form for Abstract Compilation

    D. Ancona, Giovanni Lagorio

    2012IFIP TCS16 citations Open access

    Semantic Scholar

    Save

22. Stronger Typings for Separate Compilation of Java-like Languages

    D. Ancona, Giovanni Lagorio

    2004Journal of Object Technology15 citations Open access

    Semantic Scholar

    Save

23. Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

    D. Ancona, Giovanni Lagorio

    2010International Symposium on Games, Automata, Logics and Formal Verification13 citations Open access

    Semantic Scholar

    Save

24. Smart Modules for Java-like Languages

    D. Ancona, Giovanni Lagorio, E. Zucca

    200513 citations

    Semantic Scholar

    Save

25. Another step towards a smart compilation manager for Java

    Giovanni Lagorio

    2004ACM Symposium on Applied Computing13 citations

    Semantic Scholar

    Save

26. Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations

    Luca Demetrio, B. Biggio, Giovanni Lagorio, F. Roli +1 more

    2020arXiv.org12 citations

    Semantic Scholar

    Save

27. Towards a Smart Compilation Manager for Java

    Giovanni Lagorio

    2003Italian Conference on Theoretical Computer Science12 citations

    Semantic Scholar

    Save

28. TickEth, a ticketing system built on ethereum

    P. Corsi, Giovanni Lagorio, M. Ribaudo

    2019ACM Symposium on Applied Computing10 citations

    Semantic Scholar

    Save

29. Type inference for polymorphic methods in Java-like languages

    D. Ancona, Giovanni Lagorio, E. Zucca

    2007Italian Conference on Theoretical Computer Science10 citations

    Semantic Scholar

    Save

30. Just: Safe Unknown Types in Java-like Languages

    Giovanni Lagorio, E. Zucca

    2007Journal of Object Technology10 citations Open access

    Semantic Scholar

    Save

31. ZenHackAdemy: Ethical Hacking @ DIBRIS

    Luca Demetrio, Giovanni Lagorio, M. Ribaudo, E. Russo +1 more

    2019International Conference on Computer Supported Education9 citations Open access

    Semantic Scholar

    Save

32. Strong exception-safety for checked and unchecked exceptions

    Giovanni Lagorio, Marco Servetto

    2011Journal of Object Technology8 citations Open access

    Semantic Scholar

    Save

33. Flexible Type-Safe Linking of Components for Java-Like Languages

    D. Ancona, Giovanni Lagorio, E. Zucca

    2006Joint Modular Languages Conference8 citations

    Semantic Scholar

    Save

34. Automatic Challenge Generation for Hands-on Cybersecurity Training

    Matteo Benzi, Giovanni Lagorio, M. Ribaudo

    20222022 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW)7 citations

    Semantic Scholar

    Save

35. Complete coinductive subtyping for abstract compilation of object-oriented languages

    D. Ancona, Giovanni Lagorio

    2010FTfJP@ECOOP7 citations

    Semantic Scholar

    Save

36. Capturing ghost dependencies in Java sources

    Giovanni Lagorio

    2004Journal of Object Technology7 citations Open access

    Semantic Scholar

    Save

37. CyberChallenge.IT@Unige: Ethical Hacking for Young Talents

    Gaspare Ferraro, Giovanni Lagorio, Marina Ribaudo

    2020User Modeling, Adaptation, and Personalization6 citations Open access

    Semantic Scholar

    Save

38. Introducing safe unknown types in Java-like languages

    Giovanni Lagorio, E. Zucca

    2006ACM Symposium on Applied Computing6 citations

    Semantic Scholar

    Save

39. A Lightweight Approach to Customizable Composition Operators for Java-like Classes

    Giovanni Lagorio, Marco Servetto, E. Zucca

    2010FACS@FMWeek5 citations Open access

    Semantic Scholar

    Save

40. Strong exception-safety for Java-like languages

    Giovanni Lagorio, Marco Servetto

    2010Italian Conference on Theoretical Computer Science5 citations

    Semantic Scholar

    Save

41. Type system for Java separate compilation and selective recompilation

    Giovanni Lagorio

    20045 citations

    Semantic Scholar

    Save

42. A flexible model for dynamic linking in Java and C#

    S. Drossopoulou, Giovanni Lagorio, S. Eisenbach

    2006Theoretical Computer Science4 citations Open access

    Semantic Scholar

    Save

43. Adversarial EXEmples: Functionality-preserving Optimization of Adversarial Windows Malware

    Luca Demetrio, B. Biggio, Giovanni Lagorio, A. Armando +1 more

    20213 citations

    Semantic Scholar

    Save

44. Customizable composition operators for Java-like classes

    Giovanni Lagorio, Marco Servetto, E. Zucca

    2009Italian Conference on Theoretical Computer Science3 citations

    Semantic Scholar

    Save

45. Customizable composition operators for Java-like classes ( extended abstract )

    Giovanni Lagorio, Marco Servetto, E. Zucca

    20093 citations

    Semantic Scholar

    Save

46. Capture the Flag competitions for Higher Education

    Giovanni Lagorio, M. Ribaudo, A. Armando

    2021Italian Conference on Cybersecurity2 citations

    Semantic Scholar

    Save

47. Fight silent horror unit test methods by consulting a TestWizard

    M. Cerioli, Giovanni Lagorio, Maurizio Leotta, Filippo Ricca

    2021J. Softw. Evol. Process.2 citations Open access

    Semantic Scholar

    Save

48. Type systems for object-oriented languages based on coinductive logic ?

    D. Ancona, Giovanni Lagorio

    20092 citations

    Semantic Scholar

    Save

49. Tests as Documentation: a First Attempt at Quality Evaluation

    M. Cerioli, Giovanni Lagorio

    20141 citations

    Semantic Scholar

    Save

50. Modelling a JVM for polymorphic bytecode

    Giovanni Lagorio

    2007Journal of Object Technology1 citations Open access

    Semantic Scholar

    Save