Publications Conference proceedings (3) Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis Author(s): Touzeau, Valentin; Reineke, Jan Published in: IEEE Real-Time Systems Symposium, Issue annual, 2023, Page(s) 237-250, ISBN 979-8-3503-2857-8 Publisher: IEEE DOI: 10.1109/rtss59052.2023.00029 Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts Author(s): Zilong Wang; Gideon Mohr; Klaus von Gleissenthall; Jan Reineke; Marco Guarnieri Published in: 2023 ACM SIGSAC Conference on Computer and Communications Security, Issue annual, 2023, Page(s) 2128-2142, ISBN 979-8-4007-0050-7 Publisher: ACM DOI: 10.1145/3576915.3623192 Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction Author(s): Andreas Abel, Shrey Sharma, Jan Reineke Published in: 2023 IEEE International Symposium on Workload Characterization (IISWC), Issue annual, 2023, Page(s) 87-99, ISBN 979-8-3503-0317-9 Publisher: IEEE DOI: 10.1109/iiswc59245.2023.00023 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available