Hadrien Barral

Papers

Total Citations

H-Index

About

Dr. Hadrien Barral is a leading researcher in computer security, with a primary focus on embedded systems and capability-based security architectures. His most influential work, "CheriRTOS: A Capability Model for Embedded Devices" (2018, 20 citations), addresses a critical vulnerability in the rapidly expanding Internet of Things landscape. As embedded devices become ubiquitous across automotive, medical, robotics, and avionics sectors, their increasing connectivity exposes them to sophisticated cyberattacks. Barral’s major contribution is the design and implementation of a capability-based security model for real-time operating systems, fundamentally rethinking how memory protection and privilege separation can be enforced at the hardware-software interface. This work demonstrates that fine-grained, hardware-enforced capabilities can be integrated into resource-constrained embedded environments without sacrificing performance. By providing a robust defense against memory corruption and code-reuse attacks, Barral’s research directly impacts the safety and reliability of critical infrastructure. His achievements include pioneering the application of CHERI (Capability Hardware Enhanced RISC Instructions) concepts to real-time systems, bridging the gap between academic security research and practical deployment in safety-critical domains.