Benjamin Farinier

Decision procedures for vulnerability analysis. (Procédures de décision pour l'analyse de vulnérabilités)

Benjamin Farinier, 2020 .

Mergeable persistent data structures

Benjamin Farinier, Anil Madhavapeddy, Thomas Gazagnaire, 2015 .

Model Generation for Quantified Formulas: A Taint-Based Approach pdf

Benjamin Farinier, Marie-Laure Potet, Richard Bonichon, 2018, CAV.

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing

Matthieu Lemerre, Benjamin Farinier, Sébastien Bardin, 2018, LPAR.

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference

Benjamin Farinier, Guillaume Girol, Sébastien Bardin, 2021, CAV.

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

Matteo Maffei, Benjamin Farinier, Marco Squarcina, 2022 .