CORDIS - Forschungsergebnisse der EU
CORDIS

Abstractions for Safe and Secure HW-SW Systems

Veröffentlichungen

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

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

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor