VALIDATing SEcurity Safeguards in Binaries Compiled with Memory-Safe Languages Pre-Execution

Informations projet

VALIDATE

N° de convention de subvention: 101206668

DOI

10.3030/101206668

Date de signature de la CE 21 Mai 2025

Date de début 1 Septembre 2025

Date de fin 31 Août 2027

Financé au titre de

• Marie Skłodowska-Curie Actions (MSCA)

Coût total

Aucune donnée

Contribution de l’UE

€ 217 076,16

Coordonné par

TECHNISCHE UNIVERSITEIT DELFT
Netherlands

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (1)

Clair Obscur: The Light and Shadow of System Call Interposition – From Pitfalls to Solutions with K23

Auteurs: Jesús María Gómez Moreno, Vissarion Moutafis, Antreas Dionysiou, Fernando Kuipers, Georgios Smaragdakis, Bart Coppens, Alexios Voulimeneas
Publié dans: Proceedings of the 26th International Middleware Conference, 2025
Éditeur: ACM
DOI: 10.1145/3721462.3770772