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

Información del proyecto

VALIDATE

Identificador del acuerdo de subvención: 101206668

DOI

10.3030/101206668

Fecha de la firma de la CE 21 Mayo 2025

Fecha de inicio 1 Septiembre 2025

Fecha de finalización 31 Agosto 2027

Financiado con arreglo a

• Marie Skłodowska-Curie Actions (MSCA)

Coste total

Sin datos

Aportación de la UE

€ 217 076,16

Coordinado por

TECHNISCHE UNIVERSITEIT DELFT
Netherlands

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (1)

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

Autores: Jesús María Gómez Moreno, Vissarion Moutafis, Antreas Dionysiou, Fernando Kuipers, Georgios Smaragdakis, Bart Coppens, Alexios Voulimeneas
Publicado en: Proceedings of the 26th International Middleware Conference, 2025
Editor: ACM
DOI: 10.1145/3721462.3770772