Francesco Parolini

According to our database, Francesco Parolini authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Static Analysis for Security Properties of Software by Abstract Interpretation. (Analyse statique des propriétés de sécurité des logiciels par interprétation abstraite).

Francesco Parolini

PhD thesis, 2024

Sound Abstract Nonexploitability Analysis.

Francesco Parolini, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution).

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Sound static analysis of regular expressions for vulnerabilities to denial of service attacks.

Francesco Parolini, Antoine Miné

Sci. Comput. Program., July, 2023

2021

Inclusion Testing of Büchi Automata Based on Well-Quasiorders.

Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato

Proceedings of the 32nd International Conference on Concurrency Theory, 2021