Benjamin Farinier


portrait I am currently a postdoc researcher at TU Wien, Austria, in the Security & Privacy research unit. I am primarily interested in the formal verification of safety and security properties on Web browser specification. This projet is founded by the ERC grant Foundations and Tools for Client-Side Web Security.

I did my PhD thesis intitled 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

French Workshops



2018 - 2019, at Paris Saclay University

2017 - 2018, at Paris Diderot University

2016 - 2017, at Paris Diderot University