Abstractions for Safe and Secure HW-SW Systems

Informazioni relative al progetto

SafeSecS

ID dell’accordo di sovvenzione: 101020415

DOI 10.3030/101020415

Data della firma CE 13 Giugno 2021

Data di avvio 1 Ottobre 2021

Data di completamento 30 Settembre 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale € 2 445 125,00

Contributo UE € 2 445 125,00

Coordinato da

UNIVERSITAT DES SAARLANDES
Germany

Pubblicazioni

Conference proceedings (3)

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Autori: Touzeau, Valentin; Reineke, Jan
Pubblicato in: IEEE Real-Time Systems Symposium, Numero annual, 2023, Pagina/e 237-250, ISBN 979-8-3503-2857-8
Editore: IEEE
DOI: 10.1109/rtss59052.2023.00029

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

Autori: Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Pubblicato in: 2023 ACM SIGSAC Conference on Computer and Communications Security, Numero annual, 2023, Pagina/e 2128-2142, ISBN 979-8-4007-0050-7
Editore: ACM
DOI: 10.1145/3576915.3623192

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

Autori: Andreas Abel, Shrey Sharma, Jan Reineke
Pubblicato in: 2023 IEEE International Symposium on Workload Characterization (IISWC), Numero annual, 2023, Pagina/e 87-99, ISBN 979-8-3503-0317-9
Editore: IEEE
DOI: 10.1109/iiswc59245.2023.00023