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 develops a new method to specify security properties in Instruction Set Architectures (ISAs) using universal contracts. These contracts help ensure that software behaves securely, even against potential attacks, by providing a clear framework for verifying security across hardware and software systems.
The Instruction Set Architecture (ISA) is the interface that processor hardware offers to software developers.
Current ISAs do not explicitly specify the security properties guaranteed by that interface, so that, for example, recent severe micro-architectural side-channel vulnerabilities like Spectre did not even violate the specifications.
This project proposes a fundamentally new approach to specify ISA security properties by using what we call universal contracts.
These are formal contracts i…
KATHOLIEKE UNIVERSITEIT LEUVEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
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.
