CAMPION, MARCO
CAMPION, MARCO
DIPARTIMENTO DI INFORMATICA
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
2023-01-01 Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto
A Logic for the Imprecision of Abstract Interpretations
2026-01-01 Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja
2025-01-01 Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Monotonicity and the Precision of Program Analysis
2024-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina
On the Properties of Partial Completeness in Abstract Interpretation
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Partial (In)Completeness in Abstract Interpretation
2021-01-01 Campion, Marco
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Relating Distances and Abstractions
2025-01-01 Campion, Marco; Mastroeni, Isabella; Urban, Caterina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Framework to Measure the Incompleteness of Abstract Interpretations | 1-gen-2023 | Campion, Marco; Urban, Caterina; Dalla Preda, Mila; Giacobazzi, Roberto | |
| A Logic for the Imprecision of Abstract Interpretations | 1-gen-2026 | Campion, Marco; Dalla Preda, Mila; Giacobazzi, Roberto; Urban, Caterina | |
| Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
| Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja | 1-gen-2025 | Altamura, Nicolò; Bragastini, Enrico; Campion, Marco; Dalla Preda, Mila | |
| Learning metamorphic malware signatures from samples | 1-gen-2021 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Monotonicity and the Precision of Program Analysis | 1-gen-2024 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina | |
| On the Properties of Partial Completeness in Abstract Interpretation | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Partial (In)Completeness in Abstract Interpretation | 1-gen-2021 | Campion, Marco | |
| Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
| Relating Distances and Abstractions | 1-gen-2025 | Campion, Marco; Mastroeni, Isabella; Urban, Caterina |