SecuStack: Securing the Leaky Hardware/Software Boundary

Informazioni relative al progetto

SecuStack

ID dell’accordo di sovvenzione: 101115046

DOI

10.3030/101115046

Data della firma CE 8 Marzo 2024

Data di avvio 1 Aprile 2024

Data di completamento 31 Marzo 2029

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 500 000,00

Contributo UE

€ 1 500 000,00

Coordinato da

STICHTING VU
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 (4)

Phantom Trails: Practical Pre-Silicon Discovery of Transient Data Leaks

Autori: de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Pubblicato in: Usenix Security, 2025
Editore: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

Autori: Johannes Blaser, Florian Gorter, Klaus v. Gleissenthall, Herbert Bos
Pubblicato in: IEEE Symposium on Security and Privacy (SP), 2026
Editore: IEEE
DOI: 10.1109/SP63933.2026.00085

Refinement Type Refutations

Autori: Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Pubblicato in: Proceedings of the ACM on Programming Languages, 2024
Editore: ACM
DOI: 10.1145/3689745

Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors

Autori: Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Pubblicato in: 2025
Editore: ACM

Other (1)

Symmetries in Sorting

Autori: Choudhury, Vikraman; Wong, Wind
Pubblicato in: 2025
Editore: ACM
DOI: 10.5281/ZENODO.17852162