Benjamin Farinier
Centre National de la Recherche Scientifique(FR)Institut national de recherche en sciences et technologies du numérique(FR)Institut de Recherche en Informatique et Systèmes Aléatoires(FR)Université de Rennes(FR)
Publications by Year
Research Areas
Security and Verification in Computing, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Software Engineering Research, Web Application Security Vulnerabilities
Most-Cited Works
- → Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing(2018)11 cited
- → Not All Bugs Are Created Equal, But Robust Reachability Can Tell the Difference(2021)10 cited
- Mergeable persistent data structures(2015)
- → Introducing robust reachability(2022)3 cited
- → WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms(2023)3 cited
- → Model Generation for Quantified Formulas: A Taint-Based Approach(2018)1 cited
- Decision procedures for vulnerability analysis(2020)
- Procédures de décision pour l'analyse de vulnérabilités(2020)