Abstractions for Safe and Secure HW-SW Systems

Projektinformationen

SafeSecS

ID Finanzhilfevereinbarung: 101020415

DOI

10.3030/101020415

EK-Unterschriftsdatum 13 Juni 2021

Startdatum 1 Oktober 2021

Enddatum 30 September 2027

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 2 445 125,00

EU-Beitrag

€ 2 445 125,00

Koordiniert durch

UNIVERSITAT DES SAARLANDES
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (14)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Autoren: Touzeau, Valentin; Reineke, Jan
Veröffentlicht in: IEEE Real-Time Systems Symposium, Ausgabe annual, 2023, Seite(n) 237-250, ISBN 979-8-3503-2857-8
Herausgeber: IEEE
DOI: 10.1109/rtss59052.2023.00029

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

Autoren: Zheyuan Wu, Haoyi Zeng, Aaron Bies
Veröffentlicht in: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Ausgabe annual, 2024, Seite(n) 37-39, ISBN 9798400712142
Herausgeber: Association for Computing Machinery

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

Autoren: Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Veröffentlicht in: 2023 ACM SIGSAC Conference on Computer and Communications Security, Ausgabe annual, 2023, Seite(n) 2128-2142, ISBN 979-8-4007-0050-7
Herausgeber: ACM
DOI: 10.1145/3576915.3623192

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

Autoren: Reinhard Wilhelm, Jan Reineke
Veröffentlicht in: Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis, Ausgabe annual, 2024, Seite(n) 4-8
Herausgeber: CMU

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

Autoren: Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Veröffentlicht in: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Ausgabe annual, 2025, Seite(n) 111-125, ISBN 9798400715259
Herausgeber: ACM
DOI: 10.1145/3719027.3765148

LLVMTA: An LLVM-Based WCET Analysis Tool

Autoren: Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
Veröffentlicht in: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022), Ausgabe annual, 2022, Seite(n) 2:1--2:17, ISBN 978-3-95977-244-0
Herausgeber: 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

Autoren: Andreas Abel, Jan Reineke
Veröffentlicht in: 2022 International Conference on Supercomputing (ICS), Ausgabe annual, 2022, Seite(n) 33:1-33:14, ISBN 9781450392815
Herausgeber: ACM
DOI: 10.1145/3524059.3532396

A Unified Framework for Quantitative Cache Analysis

Autoren: Sophie Kahlen, Jan Reineke
Veröffentlicht in: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), Ausgabe annual, 2025, Seite(n) 54-67
Herausgeber: IEEE
DOI: 10.1109/rtas65571.2025.00018

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

Autoren: Gideon Mohr, Marco Guarnieri, Jan Reineke
Veröffentlicht in: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024, Ausgabe annual, 2024
Herausgeber: IEEE
DOI: 10.48550/arxiv.2305.06979

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

Autoren: Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
Veröffentlicht in: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022, Ausgabe annual, 2022, Seite(n) 148-159, ISBN 978-1-6654-5344-8
Herausgeber: IEEE
DOI: 10.1109/rtcsa55878.2022.00022

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

Autoren: Andreas Abel, Shrey Sharma, Jan Reineke
Veröffentlicht in: 2023 IEEE International Symposium on Workload Characterization (IISWC), Ausgabe annual, 2023, Seite(n) 87-99, ISBN 979-8-3503-0317-9
Herausgeber: IEEE
DOI: 10.1109/iiswc59245.2023.00023

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

Autoren: Daniel Weber, Leonard Niemann, Lukas Gerlach, Jan Reineke, Michael Schwarz
Veröffentlicht in: 2024 Annual Computer Security Applications Conference (ACSAC), Ausgabe annual, 2025, Seite(n) 366-379
Herausgeber: IEEE
DOI: 10.1109/acsac63791.2024.00042

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

Autoren: Guillaume Didier, Thomas Rokicki, Augustin Lucas
Veröffentlicht in: Proceedings of the Microarchitecture Security Conference, Ausgabe annual, 2026, Seite(n) 1-2
Herausgeber: Ruhr University Bochum

Warping cache simulation of polyhedral programs

Autoren: Canberk Morelli, Jan Reineke
Veröffentlicht in: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Ausgabe annual, 2022, Seite(n) 316-331, ISBN 9781450392655
Herausgeber: ACM
DOI: 10.1145/3519939.3523714

Other (2)

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

Autoren: Guillaume Didier, Augustin Lucas, Thomas Rokicki
Veröffentlicht in: HS3 2025 - 1st Workshop on Hardware-Supported Software Security, Sep 2025, Toulouse, France, Ausgabe annual, 2025, Seite(n) 1-10
Herausgeber: HAL

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

Autoren: Pariya Hajipour, Gideon Geier, Jan Reineke
Veröffentlicht in: CoRR, Ausgabe abs/2511.08443, 2025, Seite(n) 1-12
Herausgeber: arXiv

Peer reviewed articles (1)

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

Autoren: Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Veröffentlicht in: IEEE Transactions on Computers, Ausgabe volume 72, 2022, Seite(n) 1286-1300, ISSN 0018-9340
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748