European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Abstractions for Safe and Secure HW-SW Systems

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

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

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

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible