Formal CHERI: rigorous engineering and design-time proof of full-scale architecture security properties
Memory safety bugs continue to be a major source of security vulnerabilities, with their root causes ingrained in the industry
author
Spen
Spencer
Spencer
Sign up to the newsletter
Sign up to the Digital Security by Design newsletter to stay up to date with our events, news, insights and opportunities. Be the first to know about our work and ways to get involved.
