MASTROENI, Isabella
MASTROENI, Isabella
DIPARTIMENTO DI INFORMATICA
A characterization of symmetric semantics by domain complementation
2000-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
A Sound Abstract Interpreter for Dynamic Code
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella
A Static Analysis of Entanglement
2025-01-01 Assolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella
A weakest precondition approach to active attacks analysis
2009-01-01 M., Balliu; Mastroeni, Isabella
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application
2013-01-01 Mastroeni, Isabella
Abstract Local Completeness
2025-01-01 Mastroeni, Isabella
Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation
2004-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Abstract Program Slicing: From theory towards an implementation
2010-01-01 Mastroeni, Isabella; Nikolic, Durica
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Abstracting Entanglement
2024-01-01 Assolini, Nicola; DI PIERRO, Alessandra; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games
2016-01-01 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adjoining Declassification and Attack Models by Abstract Interpretation
2005-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Chasing infections by unveiling program dependencies.
2013-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Completeness in Approximate Transduction
2016-01-01 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella
Compositionality in the puzzle of semantics
2002-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
Data Dependencies and Program Slicing: from Syntax to Abstract Semantics
2008-01-01 Mastroeni, Isabella; Zanardini, Damiano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A characterization of symmetric semantics by domain complementation | 1-gen-2000 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| A Sound Abstract Interpreter for Dynamic Code | 1-gen-2020 | Arceri, Vincenzo; Mastroeni, Isabella | |
| A Static Analysis of Entanglement | 1-gen-2025 | Assolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella | |
| A weakest precondition approach to active attacks analysis | 1-gen-2009 | M., Balliu; Mastroeni, Isabella | |
| Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference | 1-gen-2018 | Buro, Samuele; Mastroeni, Isabella | |
| Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application | 1-gen-2013 | Mastroeni, Isabella | |
| Abstract Local Completeness | 1-gen-2025 | Mastroeni, Isabella | |
| Abstract Non-Interference: Parameterizing Non-Interference by Abstract Interpretation | 1-gen-2004 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| Abstract Program Slicing: From theory towards an implementation | 1-gen-2010 | Mastroeni, Isabella; Nikolic, Durica | |
| Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables | 1-gen-2015 | DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella | |
| Abstracting Entanglement | 1-gen-2024 | Assolini, Nicola; DI PIERRO, Alessandra; Mastroeni, Isabella | |
| Active Android malware analysis: an approach based on stochastic games | 1-gen-2016 | Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Adjoining Declassification and Attack Models by Abstract Interpretation | 1-gen-2005 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| An abstract domain for objects in dynamic programming languages | 1-gen-2020 | Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella | |
| Analyzing program dependences for malware detection. | 1-gen-2014 | DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto | |
| Chasing infections by unveiling program dependencies. | 1-gen-2013 | DALLA PREDA, Mila; Mastroeni, Isabella | |
| Completeness in Approximate Transduction | 1-gen-2016 | Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella | |
| Compositionality in the puzzle of semantics | 1-gen-2002 | Giacobazzi, Roberto; Mastroeni, Isabella | |
| Data Dependencies and Program Slicing: from Syntax to Abstract Semantics | 1-gen-2008 | Mastroeni, Isabella; Zanardini, Damiano |