Code
Docker
Research
Hall of Fame
Dorian Lesbre
Intern
Verifying non-interference properties in OS kernel's via abstract interpretation
dorian.lesbre_at_cea.fr
https://www.eleves.ens.fr/home/dlesbre/
https://www.linkedin.com/in/dorian-lesbre-78a002122
