Florent Kirchner

Senior Scientist + Head of Laboratory

Software Safety and Security Laboratory at List, CEA

Contact

Mail

Phone

Visiting & shipping

first.last@cea.fr

+33 (0) 169 080 010

CEA Saclay Nano-INNOV
Point Courrier 174
91191 Gif-sur-Yvette
France  

Tools

Teams at the Software Safety and Security Laboratory develop tools and methods that assist and automate software verification tasks. We deploy them in industries where high-confidence implementations matter – from small personal devices to large digital infrastructures.

Binary code analysis platform
Source code analysis platform
Synchronous models analysis tool
Hardware virtualization framework

Writing

Tweets

Publicationsscripted by BibBase