default search action
Giovanni Lagorio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j13]Maura Cerioli
, Giovanni Lagorio
Fight silent horror unit test methods by consulting a TestWizard. J. Softw. Evol. Process. 35(4) (2023) - 2022
- [c30]Matteo Benzi, Giovanni Lagorio, Marina Ribaudo:
Automatic Challenge Generation for Hands-on Cybersecurity Training. EuroS&P Workshops 2022: 496-503 - 2021
- [j12]Luca Demetrio
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware. IEEE Trans. Inf. Forensics Secur. 16: 3469-3478 (2021) - [j11]Luca Demetrio
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. ACM Trans. Priv. Secur. 24(4): 27:1-27:31 (2021) - [c29]Giovanni Lagorio, Marina Ribaudo, Alessandro Armando:
Capture the Flag competitions for Higher Education. ITASEC 2021: 447-460 - [i5]Lorenzo Maffia, Dario Nisi, Platon Kotzias, Giovanni Lagorio, Simone Aonzo, Davide Balzarotti:
Longitudinal Study of the Prevalence of Malware Evasive Techniques. CoRR abs/2112.11289 (2021) - 2020
- [j10]Andrea Valenza
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs. SoftwareX 11: 100367 (2020) - [c28]Luca Demetrio
WAF-A-MoLE: evading web application firewalls through adversarial machine learning. SAC 2020: 1745-1752 - [c27]Gaspare Ferraro
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents. UMAP (Adjunct Publication) 2020: 127-134 - [i4]Luca Demetrio, Andrea Valenza, Gabriele Costa, Giovanni Lagorio:
WAF-A-MoLE: Evading Web Application Firewalls through Adversarial Machine Learning. CoRR abs/2001.01952 (2020) - [i3]Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando:
Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations. CoRR abs/2003.13526 (2020) - [i2]Luca Demetrio, Scott E. Coull, Battista Biggio, Giovanni Lagorio, Alessandro Armando, Fabio Roli:
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection. CoRR abs/2008.07125 (2020)
2010 – 2019
- 2019
- [c26]Luca Demetrio
ZenHackAdemy: Ethical Hacking @ DIBRIS. CSEDU (1) 2019: 405-413 - [c25]Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando:
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. ITASEC 2019 - [c24]Pietro Corsi, Giovanni Lagorio, Marina Ribaudo:
TickEth, a ticketing system built on ethereum. SAC 2019: 409-416 - [i1]Luca Demetrio, Battista Biggio, Giovanni Lagorio, Fabio Roli, Alessandro Armando:
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries. CoRR abs/1901.03583 (2019) - 2017
- [c23]Simone Aonzo, Giovanni Lagorio, Alessio Merlo:
RmPerm: A Tool for Android Permissions Removal. SECRYPT 2017: 319-326 - 2012
- [j9]Giovanni Lagorio
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. Inf. Comput. 214: 86-111 (2012) - [c22]Davide Ancona, Giovanni Lagorio
Static Single Information Form for Abstract Compilation. IFIP TCS 2012: 10-27 - 2011
- [j8]Davide Ancona, Giovanni Lagorio
Idealized coinductive type systems for imperative object-oriented programs. RAIRO Theor. Informatics Appl. 45(1): 3-33 (2011) - [j7]Giovanni Lagorio
Strong exception-safety for checked and unchecked exceptions. J. Object Technol. 10: 1: 1-20 (2011) - 2010
- [c21]Davide Ancona, Giovanni Lagorio
Complete coinductive subtyping for abstract compilation of object-oriented languages. FTfJP@ECOOP 2010: 1:1-1:7 - [c20]Giovanni Lagorio
Strong exception-safety for Java-like languages. FTfJP@ECOOP 2010: 3:1-3:7 - [c19]Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? FoVeOOS 2010: 31-45 - [c18]Davide Ancona, Giovanni Lagorio
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas. GANDALF 2010: 214-230
2000 – 2009
- 2009
- [c17]Davide Ancona, Giovanni Lagorio
Coinductive Type Systems for Object-Oriented Languages. ECOOP 2009: 2-26 - [c16]Giovanni Lagorio
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. ECOOP 2009: 244-268 - [c15]Davide Ancona, Giovanni Lagorio:
An idealized coinductive type system for imperative object-oriented programs. ICTCS 2009: 19-25 - [c14]Giovanni Lagorio, Marco Servetto, Elena Zucca:
Customizable composition operators for Java-like classes. ICTCS 2009: 136-142 - [c13]Giovanni Lagorio
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. FACS@FMWeek 2009: 161-177 - 2008
- [c12]Maura Cerioli
Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752 - [c11]Davide Ancona, Giovanni Lagorio
Type Inference by Coinductive Logic Programming. TYPES 2008: 1-18 - 2007
- [j6]Giovanni Lagorio, Elena Zucca:
Just: Safe Unknown Types in Java-like Languages. J. Object Technol. 6(2): 69-98 (2007) - [j5]Giovanni Lagorio:
Modelling a JVM for polymorphic bytecode. J. Object Technol. 6(5): 71-100 (2007) - [c10]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Type inference for polymorphic methods in Java-like languages. ICTCS 2007: 118-129 - 2006
- [j4]Sophia Drossopoulou, Giovanni Lagorio
A flexible model for dynamic linking in Java and C#. Theor. Comput. Sci. 368(1-2): 1-29 (2006) - [c9]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Flexible Type-Safe Linking of Components for Java-Like Languages. JMLC 2006: 136-154 - [c8]Giovanni Lagorio, Elena Zucca:
Introducing safe unknown types in Java-like languages. SAC 2006: 1429-1434 - 2004
- [b1]Giovanni Lagorio:
Type system for Java separate compilation and selective recompilation. University of Genoa, Italy, 2004 - [j3]Davide Ancona, Giovanni Lagorio:
Stronger Typings for Separate Compilation of Java-like Languages . J. Object Technol. 3(6): 5-25 (2004) - [j2]Giovanni Lagorio:
Capturing ghost dependencies in Java sources. J. Object Technol. 3(11): 77-96 (2004) - [c7]Giovanni Lagorio:
Another step towards a smart compilation manager for Java. SAC 2004: 1275-1280 - 2003
- [j1]Davide Ancona, Giovanni Lagorio
Jam - designing a Java extension with mixins. ACM Trans. Program. Lang. Syst. 25(5): 641-712 (2003) - [c6]Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach:
Flexible Models for Dynamic Linking. ESOP 2003: 38-53 - [c5]Giovanni Lagorio:
Towards a Smart Compilation Manager for Java. ICTCS 2003: 302-315 - 2002
- [c4]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Formal Framework for Java Separate Compilation. ECOOP 2002: 609-636 - [c3]Davide Ancona, Giovanni Lagorio, Elena Zucca:
True separate compilation of Java classes. PPDP 2002: 189-200 - 2001
- [c2]Davide Ancona, Giovanni Lagorio, Elena Zucca:
A Core Calculus for Java Exceptions. OOPSLA 2001: 16-30 - 2000
- [c1]Davide Ancona, Giovanni Lagorio, Elena Zucca:
Jam - A Smooth Extension of Java with Mixins. ECOOP 2000: 154-178
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 18:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: