Abstractions for Safe and Secure HW-SW Systems

Informations projet

SafeSecS

N° de convention de subvention: 101020415

DOI

10.3030/101020415

Date de signature de la CE 13 Juin 2021

Date de début 1 Octobre 2021

Date de fin 30 Septembre 2027

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 2 445 125,00

Contribution de l’UE

€ 2 445 125,00

Coordonné par

UNIVERSITAT DES SAARLANDES
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (14)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Auteurs: Touzeau, Valentin; Reineke, Jan
Publié dans: IEEE Real-Time Systems Symposium, Numéro annual, 2023, Page(s) 237-250, ISBN 979-8-3503-2857-8
Éditeur: IEEE
DOI: 10.1109/rtss59052.2023.00029

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

Auteurs: Zheyuan Wu, Haoyi Zeng, Aaron Bies
Publié dans: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Numéro annual, 2024, Page(s) 37-39, ISBN 9798400712142
Éditeur: Association for Computing Machinery

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

Auteurs: Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Publié dans: 2023 ACM SIGSAC Conference on Computer and Communications Security, Numéro annual, 2023, Page(s) 2128-2142, ISBN 979-8-4007-0050-7
Éditeur: ACM
DOI: 10.1145/3576915.3623192

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

Auteurs: Reinhard Wilhelm, Jan Reineke
Publié dans: Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis, Numéro annual, 2024, Page(s) 4-8
Éditeur: CMU

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

Auteurs: Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Publié dans: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Numéro annual, 2025, Page(s) 111-125, ISBN 9798400715259
Éditeur: ACM
DOI: 10.1145/3719027.3765148

LLVMTA: An LLVM-Based WCET Analysis Tool

Auteurs: Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
Publié dans: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022), Numéro annual, 2022, Page(s) 2:1--2:17, ISBN 978-3-95977-244-0
Éditeur: 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

Auteurs: Andreas Abel, Jan Reineke
Publié dans: 2022 International Conference on Supercomputing (ICS), Numéro annual, 2022, Page(s) 33:1-33:14, ISBN 9781450392815
Éditeur: ACM
DOI: 10.1145/3524059.3532396

A Unified Framework for Quantitative Cache Analysis

Auteurs: Sophie Kahlen, Jan Reineke
Publié dans: 2025 IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), Numéro annual, 2025, Page(s) 54-67
Éditeur: IEEE
DOI: 10.1109/rtas65571.2025.00018

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

Auteurs: Gideon Mohr, Marco Guarnieri, Jan Reineke
Publié dans: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024, Numéro annual, 2024
Éditeur: IEEE
DOI: 10.48550/arxiv.2305.06979

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

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

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

Auteurs: Andreas Abel, Shrey Sharma, Jan Reineke
Publié dans: 2023 IEEE International Symposium on Workload Characterization (IISWC), Numéro annual, 2023, Page(s) 87-99, ISBN 979-8-3503-0317-9
Éditeur: IEEE
DOI: 10.1109/iiswc59245.2023.00023

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

Auteurs: Daniel Weber, Leonard Niemann, Lukas Gerlach, Jan Reineke, Michael Schwarz
Publié dans: 2024 Annual Computer Security Applications Conference (ACSAC), Numéro annual, 2025, Page(s) 366-379
Éditeur: IEEE
DOI: 10.1109/acsac63791.2024.00042

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

Auteurs: Guillaume Didier, Thomas Rokicki, Augustin Lucas
Publié dans: Proceedings of the Microarchitecture Security Conference, Numéro annual, 2026, Page(s) 1-2
Éditeur: Ruhr University Bochum

Warping cache simulation of polyhedral programs

Auteurs: Canberk Morelli, Jan Reineke
Publié dans: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Numéro annual, 2022, Page(s) 316-331, ISBN 9781450392655
Éditeur: ACM
DOI: 10.1145/3519939.3523714

Other (2)

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

Auteurs: Guillaume Didier, Augustin Lucas, Thomas Rokicki
Publié dans: HS3 2025 - 1st Workshop on Hardware-Supported Software Security, Sep 2025, Toulouse, France, Numéro annual, 2025, Page(s) 1-10
Éditeur: HAL

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

Auteurs: Pariya Hajipour, Gideon Geier, Jan Reineke
Publié dans: CoRR, Numéro abs/2511.08443, 2025, Page(s) 1-12
Éditeur: arXiv

Peer reviewed articles (1)

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

Auteurs: Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Publié dans: IEEE Transactions on Computers, Numéro volume 72, 2022, Page(s) 1286-1300, ISSN 0018-9340
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748