Benjamin Farinier

According to our database, Benjamin Farinier authored at least 7 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Introducing robust reachability.

Guillaume Girol, Benjamin Farinier, Sébastien Bardin

Formal Methods Syst. Des., October, 2024

2023

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms.

Lorenzo Veronese, Benjamin Farinier, Mauro Tempesta, Marco Squarcina, Matteo Maffei

CoRR, 2022

2021

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

Guillaume Girol, Benjamin Farinier, Sébastien Bardin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

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

Benjamin Farinier

PhD thesis, 2020

2018

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.

Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

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

Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet

Proceedings of the Computer Aided Verification - 30th International Conference, 2018