Abstractions for Safe and Secure HW-SW Systems

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

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

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

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

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

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

Recherche de données OpenAIRE...

Publications

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page