Abstractions for Safe and Secure HW-SW Systems

Project Information

SafeSecS

Grant agreement ID: 101020415

DOI

10.3030/101020415

EC signature date 13 June 2021

Start date 1 October 2021

End date 30 September 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 2 445 125,00

EU contribution

€ 2 445 125,00

Coordinated by

UNIVERSITAT DES SAARLANDES
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (9)

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

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities

Author(s): Zheyuan Wu, Haoyi Zeng, Aaron Bies
Published in: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Issue annual, 2024, Page(s) 37-39, ISBN 9798400712142
Publisher: Association for Computing Machinery

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

LLVMTA: An LLVM-Based WCET Analysis Tool

Author(s): Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
Published in: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022), Issue annual, 2022, Page(s) 2:1--2:17, ISBN 978-3-95977-244-0
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/oasics.wcet.2022.2

uiCA: Accurate Throughput Prediction of Basic Blocks on Recent Intel Microarchitectures

Author(s): Andreas Abel, Jan Reineke
Published in: 2022 International Conference on Supercomputing (ICS), Issue annual, 2022, Page(s) 33:1-33:14, ISBN 9781450392815
Publisher: ACM
DOI: 10.1145/3524059.3532396

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

Author(s): Gideon Mohr, Marco Guarnieri, Jan Reineke
Published in: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE), 2024, Issue annual, 2024
Publisher: IEEE
DOI: 10.48550/arxiv.2305.06979

On the Trade-offs between Generalization and Specialization in Real-Time Systems

Author(s): Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
Published in: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022, Issue annual, 2022, Page(s) 148-159, ISBN 978-1-6654-5344-8
Publisher: IEEE
DOI: 10.1109/rtcsa55878.2022.00022

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

Warping cache simulation of polyhedral programs

Author(s): Canberk Morelli, Jan Reineke
Published in: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Issue annual, 2022, Page(s) 316-331, ISBN 9781450392655
Publisher: ACM
DOI: 10.1145/3519939.3523714

Peer reviewed articles (1)

Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms

Author(s): Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Published in: IEEE Transactions on Computers, Issue volume 72, 2022, Page(s) 1286-1300, ISSN 0018-9340
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748