Francesco Parolini

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Pattern Matching

Static Analysis

Denial Of Service Attacks

Top Venues

Sci. Comput. Program.

Publications

Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné
Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution). TACAS (3) (2024)
Francesco Parolini, Antoine Miné
Sound Abstract Nonexploitability Analysis. VMCAI (2) (2024)
Francesco Parolini, Antoine Miné
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. Sci. Comput. Program. 229 (2023)
Francesco Parolini, Antoine Miné
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks. TASE (2022)
Kyveli Doveri, Pierre Ganty, Francesco Parolini, Francesco Ranzato
Inclusion Testing of Büchi Automata Based on Well-Quasiorders. CONCUR (2021)