Marco Campion

According to our database, Marco Campion authored at least 13 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

A Logic for the Imprecision of Abstract Interpretations.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

Proc. ACM Program. Lang., 2026

Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations.

Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban

Proceedings of the Foundations of Software Science and Computation Structures, 2026

2025

Relating Distances and Abstractions - An Abstract Interpretation Perspective.

Marco Campion, Isabella Mastroeni, Caterina Urban

Proceedings of the Static Analysis - 32nd International Symposium, 2025

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Proceedings of the 2025 Workshop on Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks, 2025

2024

Monotonicity and the Precision of Program Analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

Proc. ACM Program. Lang., January, 2024

Quantitative Static Timing Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the Static Analysis - 31st International Symposium, 2024

Quantitative Input Usage Static Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proc. ACM Program. Lang., 2022

On the Properties of Partial Completeness in Abstract Interpretation.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

2021

Partial (In)Completeness in Abstract Interpretation.

Marco Campion

PhD thesis, 2021

Learning metamorphic malware signatures from samples.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

J. Comput. Virol. Hacking Tech., 2021

2019

Abstract Interpretation of Indexed Grammars.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 26th International Symposium, 2019