Abstractions for Safe and Secure HW-SW Systems

Publikacje

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis

Autorzy: Touzeau, Valentin; Reineke, Jan
Opublikowane w: IEEE Real-Time Systems Symposium, Numer annual, 2023, Strona(/y) 237-250, ISBN 979-8-3503-2857-8
Wydawca: IEEE
DOI: 10.1109/rtss59052.2023.00029

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

Autorzy: Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri
Opublikowane w: 2023 ACM SIGSAC Conference on Computer and Communications Security, Numer annual, 2023, Strona(/y) 2128-2142, ISBN 979-8-4007-0050-7
Wydawca: ACM
DOI: 10.1145/3576915.3623192

Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors

Autorzy: Gideon Mohr, Marco Guarnieri, Jan Reineke
Opublikowane w: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024, Numer annual, 2024
Wydawca: IEEE
DOI: 10.48550/arxiv.2305.06979

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

Autorzy: Andreas Abel, Shrey Sharma, Jan Reineke
Opublikowane w: 2023 IEEE International Symposium on Workload Characterization (IISWC), Numer annual, 2023, Strona(/y) 87-99, ISBN 979-8-3503-0317-9
Wydawca: IEEE
DOI: 10.1109/iiswc59245.2023.00023

Wyszukiwanie danych OpenAIRE...

Publikacje

Udostępnij tę stronę

Pobierz