Secure by Design Principles - Fuzzing in a Memory Safe Verification Environment

In today's interconnected world, the security of software systems is paramount. The increasing frequency and severity of cyberattacks underscore the need for a fundamental shift in software development (ref: https://www.gov.uk/government/statistics/cyber-security-breaches-survey-2025/cyber-security-breaches-survey-2025). The "Secure by Design" paradigm emerges as a proactive strategy, advocating for integrating security considerations throughout the entire software development lifecycle, rather than as an afterthought. For the 2026 Embedded Real-Time Systems Conference (ERTS), AdaCore presents a research paper on "Secure by Design Principles - Fuzzing in a Memory Safe Verification Environment," which combines CHERI ISA extensions, a security-enhanced Ada runtime, and on-target fuzz testing as means of compliance with Secure by Design principles. This paper introduces an innovative approach that utilizes a combination of memory-safe hardware and fuzz testing to enhance security verification in embedded real-time systems.