I am a research scientist (CR1) at Inria Rennes. I
lead the the Tamis
team. Tamis is a new secrutiy team at Inria Rennes. The team
studies new attacks (offensive security) on complex systems and
technologies. It also study a panoply of test-based and formal methods
approaches to detect vulnerability and malwares.