LAGORIO, GIOVANNI

LAGORIO, GIOVANNI  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 15 di 15 (tempo di esecuzione: 0.011 secondi).
Titolo Data di pubblicazione Autore(i) File
A flexible model for dynamic linking in Java and C# 1-gen-2006 S., Drossopoulou; Lagorio, Giovanni; S., Eisenbach
A Lightweight Approach to Customizable Composition Operators for Java-like Classes 1-gen-2010 Lagorio, Giovanni; M., Servetto; Zucca, Elena
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 1-gen-2021 Demetrio, L.; Coull, S. E.; Biggio, B.; Lagorio, G.; Armando, A.; Roli, F.
Capturing ghost dependencies in Java sources 1-gen-2004 Lagorio, Giovanni
Coinductive subtyping for abstract compilation of object-orientedlanguages into Horn formulas 1-gen-2010 Ancona, Davide; Lagorio, Giovanni
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages 1-gen-2012 Lagorio, Giovanni; M., Servetto; Zucca, Elena
Fight silent horror unit test methods by consulting a TestWizard 1-gen-2021 Cerioli, M.; Lagorio, G.; Leotta, M.; Ricca, F.
Functionality-Preserving Black-Box Optimization of Adversarial Windows Malware 1-gen-2021 Demetrio, Luca; Biggio, Battista; Lagorio, Giovanni; Roli, Fabio; Armando, Alessandro
Idealized coinductive type systems for imperative object-oriented programs 1-gen-2011 Ancona, Davide; Lagorio, Giovanni
Jam-designing a Java extension with mixins 1-gen-2003 Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Just: safe unknown types in Java-like languages 1-gen-2007 Lagorio, Giovanni; Zucca, Elena
Modelling a JVM for polymorphic bytecode 1-gen-2007 Lagorio, Giovanni
Strong exception-safety for checked and unchecked exceptions 1-gen-2011 Lagorio, Giovanni; M., Servetto
Stronger Typings for Smarter Recompilation of Java-like Languages 1-gen-2004 Ancona, Davide; Lagorio, Giovanni
WAF-A-MoLE: An adversarial tool for assessing ML-based WAFs 1-gen-2020 Valenza, Andrea; Demetrio, Luca; Costa, Gabriele; Lagorio, Giovanni