SecuStack: Securing the Leaky Hardware/Software Boundary

Información del proyecto

SecuStack

Identificador del acuerdo de subvención: 101115046

DOI

10.3030/101115046

Fecha de la firma de la CE 8 Marzo 2024

Fecha de inicio 1 Abril 2024

Fecha de finalización 31 Marzo 2029

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 500 000,00

Aportación de la UE

€ 1 500 000,00

Coordinado por

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

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

Autores: de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Publicado en: Usenix Security, 2025
Editor: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

Autores: Johannes Blaser, Florian Gorter, Klaus v. Gleissenthall, Herbert Bos
Publicado en: IEEE Symposium on Security and Privacy (SP), 2026
Editor: IEEE
DOI: 10.1109/SP63933.2026.00085

Refinement Type Refutations

Autores: Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Publicado en: Proceedings of the ACM on Programming Languages, 2024
Editor: ACM
DOI: 10.1145/3689745

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

Autores: Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Publicado en: 2025
Editor: ACM

Other (1)

Symmetries in Sorting

Autores: Choudhury, Vikraman; Wong, Wind
Publicado en: 2025
Editor: ACM
DOI: 10.5281/ZENODO.17852162