What question did this study set out to answer?

The research aims to explore fuzzing as a technique for identifying vulnerabilities in a memory-safe verification environment.

February 19, 2026Open Access

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

Key Points

The research aims to explore fuzzing as a technique for identifying vulnerabilities in a memory-safe verification environment.
Analyzed existing fuzzing techniques
Developed a framework for memory-safe verification
Conducted tests to identify software vulnerabilities
Fuzzing effectively detected multiple vulnerabilities
The framework improved verification efficiency
Identified key areas where memory safety could be enhanced

Abstract

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.

Read Full Paperexternally

اسأل الذكاء الاصطناعي

Bookmark

View Full Paper