Abstractions for Safe and Secure HW-SW Systems

Project Information

SafeSecS

Grant agreement ID: 101020415

DOI

10.3030/101020415

EC signature date 13 June 2021

Start date 1 October 2021

End date 30 September 2027

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 445 125,00

EU contribution

€ 2 445 125,00

Coordinated by

UNIVERSITAT DES SAARLANDES
Germany

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 (14)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Author(s): Touzeau, Valentin; Reineke, Jan
Published in: IEEE Real-Time Systems Symposium, Issue annual, 2023, Page(s) 237-250, ISBN 979-8-3503-2857-8
Publisher: IEEE
DOI: 10.1109/rtss59052.2023.00029

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities

Author(s): Zheyuan Wu, Haoyi Zeng, Aaron Bies
Published in: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Issue annual, 2024, Page(s) 37-39, ISBN 9798400712142
Publisher: Association for Computing Machinery

Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

Author(s): Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Published in: 2023 ACM SIGSAC Conference on Computer and Communications Security, Issue annual, 2023, Page(s) 2128-2142, ISBN 979-8-4007-0050-7
Publisher: ACM
DOI: 10.1145/3576915.3623192

Sound WCET Analysis, Explanation of the Method and of the Results

Author(s): Reinhard Wilhelm, Jan Reineke
Published in: Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis, Issue annual, 2024, Page(s) 4-8
Publisher: CMU

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

Author(s): Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Published in: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Issue annual, 2025, Page(s) 111-125, ISBN 9798400715259
Publisher: ACM
DOI: 10.1145/3719027.3765148

LLVMTA: An LLVM-Based WCET Analysis Tool

Author(s): Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
Published in: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022), Issue annual, 2022, Page(s) 2:1--2:17, ISBN 978-3-95977-244-0
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/oasics.wcet.2022.2

uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures

Author(s): Andreas Abel, Jan Reineke
Published in: 2022 International Conference on Supercomputing (ICS), Issue annual, 2022, Page(s) 33:1-33:14, ISBN 9781450392815
Publisher: ACM
DOI: 10.1145/3524059.3532396

A Unified Framework for Quantitative Cache Analysis

Author(s): Sophie Kahlen, Jan Reineke
Published in: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), Issue annual, 2025, Page(s) 54-67
Publisher: IEEE
DOI: 10.1109/rtas65571.2025.00018

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors

Author(s): Gideon Mohr, Marco Guarnieri, Jan Reineke
Published in: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024, Issue annual, 2024
Publisher: IEEE
DOI: 10.48550/arxiv.2305.06979

On the Trade-offs between Generalization and Specialization in Real-Time Systems

Author(s): Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
Published in: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022, Issue annual, 2022, Page(s) 148-159, ISBN 978-1-6654-5344-8
Publisher: IEEE
DOI: 10.1109/rtcsa55878.2022.00022

Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction

Author(s): Andreas Abel, Shrey Sharma, Jan Reineke
Published in: 2023 IEEE International Symposium on Workload Characterization (IISWC), Issue annual, 2023, Page(s) 87-99, ISBN 979-8-3503-0317-9
Publisher: IEEE
DOI: 10.1109/iiswc59245.2023.00023

No Leakage Without State Change: Repurposing Configurable CPU Exceptions to Prevent Microarchitectural Attacks

Author(s): Daniel Weber, Leonard Niemann, Lukas Gerlach, Jan Reineke, Michael Schwarz
Published in: 2024 Annual Computer Security Applications Conference (ACSAC), Issue annual, 2025, Page(s) 366-379
Publisher: IEEE
DOI: 10.1109/acsac63791.2024.00042

WiP: Flush-based Cache Attacks on Modern / Multi-Socket x86 Systems

Author(s): Guillaume Didier, Thomas Rokicki, Augustin Lucas
Published in: Proceedings of the Microarchitecture Security Conference, Issue annual, 2026, Page(s) 1-2
Publisher: Ruhr University Bochum

Warping cache simulation of polyhedral programs

Author(s): Canberk Morelli, Jan Reineke
Published in: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Issue annual, 2022, Page(s) 316-331, ISBN 9781450392655
Publisher: ACM
DOI: 10.1145/3519939.3523714

Other (2)

Cache Attacks in Modern/Multi-Socket x86 Systems (Work in Progress)

Author(s): Guillaume Didier, Augustin Lucas, Thomas Rokicki
Published in: HS3 2025 - 1st Workshop on Hardware-Supported Software Security, Sep 2025, Toulouse, France, Issue annual, 2025, Page(s) 1-10
Publisher: HAL

Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts

Author(s): Pariya Hajipour, Gideon Geier, Jan Reineke
Published in: CoRR, Issue abs/2511.08443, 2025, Page(s) 1-12
Publisher: arXiv

Peer reviewed articles (1)

Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms

Author(s): Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Published in: IEEE Transactions on Computers, Issue volume 72, 2022, Page(s) 1286-1300, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748