Marco Campion

13 papers B 5Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Logic for the Imprecision of Abstract Interpretations.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2026 B conf
Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations.
FoSSaCS
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
2025 — conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
Checkmate@CCS
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2025 B conf
Relating Distances and Abstractions - An Abstract Interpretation Perspective.
SAS
Marco Campion, Isabella Mastroeni, Caterina Urban
2024 J jnl
Monotonicity and the Precision of Program Analysis.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2024 — conf
Quantitative Input Usage Static Analysis.
NFM
Denis Mazzucato, Marco Campion, Caterina Urban
2024 B conf
Quantitative Static Timing Analysis.
SAS
Denis Mazzucato, Marco Campion, Caterina Urban
2023 B conf
A Formal Framework to Measure the Incompleteness of Abstract Interpretations.
SAS
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
2022 — conf
On the Properties of Partial Completeness in Abstract Interpretation.
ICTCS
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2022 J jnl
Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2021 J jnl
Learning metamorphic malware signatures from samples.
J. Comput. Virol. Hacking Tech.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
2021 — —
Partial (In)Completeness in Abstract Interpretation.
Marco Campion
2019 B conf
Abstract Interpretation of Indexed Grammars.
SAS
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi