Benjamin Farinier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2023
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SP | WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. | Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei |
| 2021 | CAV | Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. | Guillaume Girol, Benjamin Farinier, Sbastien Bardin |
| 2018 | CAV | Model Generation for Quantified Formulas: A Taint-Based Approach. | Benjamin Farinier, Sbastien Bardin, Richard Bonichon, Marie-Laure Potet |
| 2018 | LPAR | Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. | Benjamin Farinier, Robin David, Sbastien Bardin, Matthieu Lemerre |