Benjamin Farinier



I am currently Associate Professor (Maître de Conférence) at Université de Rennes, France, in the EPICURE research team. I am primarily interested in the formal verification of safety and security properties, from low-level binary code to high-level specification.

Before that, I was a postdoc researcher at TU Wien, Austria, in the Security & Privacy research unit, where I worked on the formal verification of Web browser specification. This projet was founded by the ERC grant Foundations and Tools for Client-Side Web Security.

I did my PhD thesis entitled Decision Procedures for Vulnerability Analysis at CEA LIST, in the Software Safety & Security Lab, under the direction of Marie-Laure Potet and the supervision of Sébastien Bardin. This work was part of the BINSEC project.



International Conferences

Invited Talks

French Workshops


2018 - 2019, at Paris Saclay University

2017 - 2018, at Paris Diderot University

2016 - 2017, at Paris Diderot University