Code
Docker
Research
Hall of Fame
Olivier Nicole
PhD Student
Verifying security of kernels and other programs, from the binary.
olivier.nicole_at_cea.fr
https://otini.chnik.fr
https://twitter.com/OlivierNicole1