Giovanni Lagorio
Orcid: 0000-0002-6632-1523
According to our database1,
Giovanni Lagorio
authored at least 46 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Softw. Evol. Process., April, 2023
2022
Proceedings of the IEEE European Symposium on Security and Privacy, 2022
2021
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection.
ACM Trans. Priv. Secur., 2021
IEEE Trans. Inf. Forensics Secur., 2021
Proceedings of the Italian Conference on Cybersecurity, 2021
2020
Efficient Black-box Optimization of Adversarial Windows Malware with Constrained Manipulations.
CoRR, 2020
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020
2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the Third Italian Conference on Cyber Security, 2019
Proceedings of the 11th International Conference on Computer Supported Education, 2019
2017
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017
2012
Inf. Comput., 2012
Proceedings of the Theoretical Computer Science, 2012
2011
J. Object Technol., 2011
RAIRO Theor. Informatics Appl., 2011
2010
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
Proceedings of the Proceedings First Symposium on Games, 2010
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
Proceedings of the Formal Verification of Object-Oriented Software, 2010
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010
Complete coinductive subtyping for abstract compilation of object-oriented languages.
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010
2009
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009
Customizable composition operators for Java-like classes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
An idealized coinductive type system for imperative object-oriented programs.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the ECOOP 2009, 2009
Proceedings of the ECOOP 2009, 2009
2008
Proceedings of the Types for Proofs and Programs, International Conference, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
2007
Type inference for polymorphic methods in Java-like languages.
Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006
2004
PhD thesis, 2004
J. Object Technol., 2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the Programming Languages and Systems, 2003
2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the ECOOP 2002, 2002
2001
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001
2000