Gabriel Kerneis
Spécialiste En Sécurité Des Plate-formes Matérielles
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolGabriel Kerneis is a hardware platform security specialist with 4+ years at France’s ANSSI and a decade of engineering and research experience spanning Google and Cambridge. He blends deep academic training (PhD-level research) with hands-on systems work on projects like the Fuchsia OS and Google Arts & Culture, plus practical firmware and MMIO expertise evidenced by contributions to the widely used Chipsec platform-security framework. Comfortable across firmware, OS and backend domains, he focuses on uncovering and mitigating low-level vulnerabilities while improving tooling and observability. Based in Paris, he pairs rigorous research instincts with production-grade engineering, often fixing subtle alignment and vendor-detection issues that evade higher-level testing.
4 years of coding experience
12 years of employment as a software developer
Master of Science, Computer Science, Master of Science, Computer Science at École normale supérieure de CachanPh.D., Computer Science, Ph.D., Computer Science at Université Denis Diderot (Paris VII)Master of Engineering, Computer Science, Computer Networks, Master of Engineering, Computer Science, Computer Networks at Telecom ParisTech
English, German, langues des signes, French
Stackoverflow
156reputation
699reached
3answers
0questions
Github Skills (8)
python10
mio10
security10
devtools9
firmware9
xml9
pci8
ocaml6
Programming languages (11)
Github contributions (5)
chipsec/chipsec
Aug 2021 - Mar 2022
Platform Security Assessment Framework
Role in this project:
Security Engineer
Security EngineerContributions:14 reviews, 20 commits, 7 PRs in 7 months
Contributions summary:Gabriel primarily contributes to the Chipsec project, focused on platform security assessment. Their work includes identifying and addressing security vulnerabilities by implementing code changes related to platform vendor ID detection, XML configuration loading, and MMIO BAR support. They also contributed to improving debug logging and fixing alignment issues related to MMIO. Overall, the contributions center around enhancing the framework's capabilities in analyzing and securing firmware and hardware.
security-toolsfirmwaresecurityfirmware-toolssecurity-platform
ANSSI-FR/ultrablue
Jun 2022 - Jan 2023
User-friendly Lightweight TPM Remote Attestation over Bluetooth
Contributions:1 release, 39 reviews, 17 commits in 7 months
bluetoothblebluetooth-low-energytpmattestation
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.