Benjamin Farinier

Welcome

portrait I am currently a PhD student at CEA LIST, in the Software Safety & Security Lab. I am working under the direction of Marie-Laure Potet and the supervision of Sébastien Bardin. I am primarily interested in the verification of safety and security properties on software at binary-level. This effort is part of the BINSEC project.


Contact

Publication

Teaching

2017 - 2018, at Paris Diderot University

2016 - 2017, at Paris Diderot University