Model Generation for Quantified Formulas: A Taint-Based Approach. - Benjamin Farinier; Sébastien Bardin; Richard Bonichon; Marie-Laure Potet (CAV (2), 2018)

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. - Benjamin Farinier; Robin David; Sébastien Bardin; Matthieu Lemerre (LPAR, 2018)

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

Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. - Guillaume Girol; Benjamin Farinier; Sébastien Bardin (CAV (1), 2021)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Mauro Tempesta; Marco Squarcina; Matteo Maffei (CoRR, 2022)

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. - Lorenzo Veronese; Benjamin Farinier; Pedro Bernardo; Mauro Tempesta; Marco Squarcina; Matteo Maffei (SP, 2023)

Introducing robust reachability. - Guillaume Girol; Benjamin Farinier; Sébastien Bardin (Formal Methods Syst. Des., 2024)