Benjamin Farinier

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 6

Top Topics

High Scalability

Mathematical Formulas

Security Mechanisms

Top Venues

Publications

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. SP (2023)
Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. CoRR (2022)
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference. CAV (1) (2021)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CoRR (2018)
Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. LPAR (2018)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CAV (2) (2018)