European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Abstractions for Safe and Secure HW-SW Systems

Publicaciones

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Autores: Touzeau, Valentin; Reineke, Jan
Publicado en: IEEE Real-Time Systems Symposium, Edición annual, 2023, Página(s) 237-250, ISBN 979-8-3503-2857-8
Editor: IEEE
DOI: 10.1109/rtss59052.2023.00029

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

Autores: Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Publicado en: 2023 ACM SIGSAC Conference on Computer and Communications Security, Edición annual, 2023, Página(s) 2128-2142, ISBN 979-8-4007-0050-7
Editor: ACM
DOI: 10.1145/3576915.3623192

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

Autores: Andreas Abel, Shrey Sharma, Jan Reineke
Publicado en: 2023 IEEE International Symposium on Workload Characterization (IISWC), Edición annual, 2023, Página(s) 87-99, ISBN 979-8-3503-0317-9
Editor: IEEE
DOI: 10.1109/iiswc59245.2023.00023

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles