farinier.org - Home - Benjamin Farinier

Example domain paragraphs

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.

Links to farinier.org (2)

binsec.github.io BINSEC
farinier.net Home - Benjamin Farinier