Dorian Lesbre

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