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

Informazioni relative al progetto

VALIDATE

ID dell’accordo di sovvenzione: 101206668

DOI

10.3030/101206668

Data della firma CE 21 Maggio 2025

Data di avvio 1 Settembre 2025

Data di completamento 31 Agosto 2027

Finanziato da

• Marie Skłodowska-Curie Actions (MSCA)

Costo totale

Nessun dato

Contributo UE

€ 217 076,16

Coordinato da

TECHNISCHE UNIVERSITEIT DELFT
Netherlands

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (1)

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

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