- Board role
- Senior Software Engineer
Biography
Alex Richardson represents Google on the CHERI Alliance Governing Board. His board role is Senior Software Engineer.
People
Alex Richardson
Related content
Authored Academic papers
- CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
- CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
- Cornucopia: Temporal Safety for CHERI Heaps
- Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour
- It Is Time to Standardize Principles and Practices for Software Memory Safety