SecuStack: Securing the Leaky Hardware/Software Boundary

Projektinformationen

SecuStack

ID Finanzhilfevereinbarung: 101115046

DOI

10.3030/101115046

EK-Unterschriftsdatum 8 März 2024

Startdatum 1 April 2024

Enddatum 31 März 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 500 000,00

EU-Beitrag

€ 1 500 000,00

Koordiniert durch

STICHTING VU
Netherlands

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (4)

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

Autoren: de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Veröffentlicht in: Usenix Security, 2025
Herausgeber: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

Autoren: Johannes Blaser, Florian Gorter, Klaus v. Gleissenthall, Herbert Bos
Veröffentlicht in: IEEE Symposium on Security and Privacy (SP), 2026
Herausgeber: IEEE
DOI: 10.1109/SP63933.2026.00085

Refinement Type Refutations

Autoren: Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2024
Herausgeber: ACM
DOI: 10.1145/3689745

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

Autoren: Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Veröffentlicht in: 2025
Herausgeber: ACM

Other (1)

Symmetries in Sorting

Autoren: Choudhury, Vikraman; Wong, Wind
Veröffentlicht in: 2025
Herausgeber: ACM
DOI: 10.5281/ZENODO.17852162