CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project introduces a validation mechanism called VALIDATE to ensure that software binaries compiled with memory-safe programming languages maintain their security properties before execution. It aims to enhance cybersecurity by preventing the introduction of vulnerabilities during the compilation process.
The emergence of memory-safe programming languages like Rust, Go, and Swift has significantly enhanced security by mitigating common memory-related vulnerabilities with minimal performance loss.
Traditionally, memory safety was enforced through run-time support (e.g., Java), which executes bytecode but incurs significant performance overhead.
In contrast, Rust, Go, Swift, and similar languages provide memory safety without heavy run-time support, delivering fast, secure machine code instead of v…
TECHNISCHE UNIVERSITEIT DELFT
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Spain, Pozuelo De Alarcon
Type: Research institute
Activity type: Research Organisations
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
