SecuStack: Securing the Leaky Hardware/Software Boundary

Project Information

SecuStack

Grant agreement ID: 101115046

DOI

10.3030/101115046

EC signature date 8 March 2024

Start date 1 April 2024

End date 31 March 2029

Funded under

• European Research Council (ERC)

Total cost

€ 1 500 000,00

EU contribution

€ 1 500 000,00

Coordinated by

STICHTING VU
Netherlands

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (4)

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

Author(s): de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Published in: Usenix Security, 2025
Publisher: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

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

Refinement Type Refutations

Author(s): Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Published in: Proceedings of the ACM on Programming Languages, 2024
Publisher: ACM
DOI: 10.1145/3689745

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

Author(s): Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Published in: 2025
Publisher: ACM

Other (1)

Symmetries in Sorting

Author(s): Choudhury, Vikraman; Wong, Wind
Published in: 2025
Publisher: ACM
DOI: 10.5281/ZENODO.17852162