Abstractions for Safe and Secure HW-SW Systems

Informacje na temat projektu

SafeSecS

Identyfikator umowy o grant: 101020415

DOI

10.3030/101020415

Data podpisania przez KE 13 Czerwca 2021

Data rozpoczęcia 1 Października 2021

Data zakończenia 30 Września 2026

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 2 445 125,00

Wkład UE

€ 2 445 125,00

Koordynowany przez

UNIVERSITAT DES SAARLANDES
Germany

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (9)

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

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

Autorzy: Zheyuan Wu, Haoyi Zeng, Aaron Bies
Opublikowane w: Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Numer annual, 2024, Strona(/y) 37-39, ISBN 9798400712142
Wydawca: Association for Computing Machinery

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

LLVMTA: An LLVM-Based WCET Analysis Tool

Autorzy: Sebastian Hahn, Michael Jacobs, Nils Hölscher, Kuan-Hsun Chen, Jian-Jia Chen, Jan Reineke
Opublikowane w: 20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022), Numer annual, 2022, Strona(/y) 2:1--2:17, ISBN 978-3-95977-244-0
Wydawca: 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

Autorzy: Andreas Abel, Jan Reineke
Opublikowane w: 2022 International Conference on Supercomputing (ICS), Numer annual, 2022, Strona(/y) 33:1-33:14, ISBN 9781450392815
Wydawca: ACM
DOI: 10.1145/3524059.3532396

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

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

Autorzy: Georg von der Brüggen, Alan Burns, Jian-Jia Chen, Robert I. Davis, Jan Reineke
Opublikowane w: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022, Numer annual, 2022, Strona(/y) 148-159, ISBN 978-1-6654-5344-8
Wydawca: IEEE
DOI: 10.1109/rtcsa55878.2022.00022

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

Warping cache simulation of polyhedral programs

Autorzy: Canberk Morelli, Jan Reineke
Opublikowane w: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI), Numer annual, 2022, Strona(/y) 316-331, ISBN 9781450392655
Wydawca: ACM
DOI: 10.1145/3519939.3523714

Peer reviewed articles (1)

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

Autorzy: Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Opublikowane w: IEEE Transactions on Computers, Numer volume 72, 2022, Strona(/y) 1286-1300, ISSN 0018-9340
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tc.2022.3202748