SecuStack: Securing the Leaky Hardware/Software Boundary

Informations projet

SecuStack

N° de convention de subvention: 101115046

DOI

10.3030/101115046

Date de signature de la CE 8 Mars 2024

Date de début 1 Avril 2024

Date de fin 31 Mars 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 500 000,00

Contribution de l’UE

€ 1 500 000,00

Coordonné par

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

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

Auteurs: de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Publié dans: Usenix Security, 2025
Éditeur: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

Auteurs: Johannes Blaser, Florian Gorter, Klaus v. Gleissenthall, Herbert Bos
Publié dans: IEEE Symposium on Security and Privacy (SP), 2026
Éditeur: IEEE
DOI: 10.1109/SP63933.2026.00085

Refinement Type Refutations

Auteurs: Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Publié dans: Proceedings of the ACM on Programming Languages, 2024
Éditeur: ACM
DOI: 10.1145/3689745

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

Auteurs: Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Publié dans: 2025
Éditeur: ACM

Other (1)

Symmetries in Sorting

Auteurs: Choudhury, Vikraman; Wong, Wind
Publié dans: 2025
Éditeur: ACM
DOI: 10.5281/ZENODO.17852162