SecuStack: Securing the Leaky Hardware/Software Boundary

Informacje na temat projektu

SecuStack

Identyfikator umowy o grant: 101115046

DOI

10.3030/101115046

Data podpisania przez KE 8 Marca 2024

Data rozpoczęcia 1 Kwietnia 2024

Data zakończenia 31 Marca 2029

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 500 000,00

Wkład UE

€ 1 500 000,00

Koordynowany przez

STICHTING VU
Netherlands

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (4)

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

Autorzy: de Faveri Tron, Alvise; Isemann, Raphael; Ragab, Hany; Giuffrida, Cristiano; von Gleissenthall, Klaus; Bos, Herbert
Opublikowane w: Usenix Security, 2025
Wydawca: Usenix
DOI: 10.5281/ZENODO.17009888

QuickSafe: Targeted Hardening Against Memory Corruption.

Autorzy: Johannes Blaser, Florian Gorter, Klaus v. Gleissenthall, Herbert Bos
Opublikowane w: IEEE Symposium on Security and Privacy (SP), 2026
Wydawca: IEEE
DOI: 10.1109/SP63933.2026.00085

Refinement Type Refutations

Autorzy: Robin Webbers; Klaus von Gleissenthall; Ranjit Jhala
Opublikowane w: Proceedings of the ACM on Programming Languages, 2024
Wydawca: ACM
DOI: 10.1145/3689745

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

Autorzy: Zilong Wang, Gideon Mohr, Klaus v. Gleissenthall, Jan Reinecke, Marco Guarnieri
Opublikowane w: 2025
Wydawca: ACM

Other (1)

Symmetries in Sorting

Autorzy: Choudhury, Vikraman; Wong, Wind
Opublikowane w: 2025
Wydawca: ACM
DOI: 10.5281/ZENODO.17852162