I work as a Security Researcher at ANSII, the National Cybersecurity Agency of France. My research focuses on firmwares, trusted environment and secure boot mechanisms.

I was previously a Senior Software Engineer at Google Paris, working on Fuchsia and Google Arts & Culture.

In a former academic life, I was a Research Assistant in Peter Sewell’s team at the University of Cambridge.

I did my PhD thesis at Université Paris Diderot under the direction of Juliusz Chroboczek.

This is my personal website. The views expressed here are my own, not those of my current or past employers.

If you need to reach out: contact@gabriel.kerneis.info.