Digital architectures are the combination of hardware and operating system. However, conventional digital architectures are often not trustworthy. Therefore, they should not be used as the foundation for future Internet of Things systems.
BI research aims to isolate modules and components from each other. This is achieved through physical restrictions on the hardware, such as the separation of circuits on a chip, as well as through software that controls access to the individual circuits, for example. This approach reduces the so-called attack surface and limits damage in case of errors. By facilitating targeted and controlled communication between modules, a complex overall system emerges. In this way, the trusted computing base, i.e., the part of this overall system that must be trusted, is kept as small as possible.
Researchers in computer science and electrical engineering collaborate closely to extend the existing boundaries of performance and trustworthiness.
Current research topics include composable operating systems based on so-called microkernels and scalable multiprocessor chips, which are being worked on in the two research groups Composable Operating Systems and Scalable Computing Hardware.
Sebastian Haas, Christopher Dunkel, Friedrich Pauls, Mattis Hasler, Yogesh Verma, Trustworthy Silicon: An MPSoC for a Secure Operating System, 2024 IEEE Nordic Circuits and Systems Conference (NorCAS), 2024
@inproceedings{
masur23NorCAS24,
title = "Trustworthy Silicon: An MPSoC for a Secure Operating System",
author = "Sebastian Haas, Christopher Dunkel, Friedrich Pauls, Mattis Hasler, Yogesh Verma",
year = "2024",
booktitle = "2024 IEEE Nordic Circuits and Systems Conference (NorCAS)"
}
Sebastian Ertel, Max Kurze, Michael Raitza, On the Potential of Coq as the Platform of Choice for Hardware Design, Coq Workshop, 2024
@inproceedings{
ertelCOQ2024,
title = "On the Potential of Coq as the Platform of Choice for Hardware Design",
author = "Sebastian Ertel, Max Kurze, Michael Raitza",
year = "2024",
booktitle = "Coq Workshop",
url = "https://coq-workshop.gitlab.io/2024/files/EA4.pdf"
}
Nilanjana Das, Mattis Hasler, Friedrich Pauls, Sebastian Haas, A Novel Multi-Dimensional Hardware Trojan Design Platform to Enhance Hardware Security, IEEE Embedded System Letters, 2024
@article{
DasESL24,
title = "A Novel Multi-Dimensional Hardware Trojan Design Platform to Enhance Hardware Security",
author = "Nilanjana Das, Mattis Hasler, Friedrich Pauls, Sebastian Haas",
year = "2024",
journal = "IEEE Embedded System Letters"
}
Nilanjana Das, Friedrich Pauls, Mattis Hasler, Sebastian Haas, Nils Asmussen, Hardware Attack Models in the Tiled Chip Multi-Core Processor: A Survey, 2024 IEEE 17th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC), 2024
@inproceedings{
DasMCSoC24,
title = "Hardware Attack Models in the Tiled Chip Multi-Core Processor: A Survey",
author = "Nilanjana Das, Friedrich Pauls, Mattis Hasler, Sebastian Haas, Nils Asmussen",
year = "2024",
booktitle = "2024 IEEE 17th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC)"
}
Friedrich Pauls, Sebastian Haas, Yogesh Verma, Integration of IP-Cores for the M³ Architecture with Low Area Overhead: Accelerator Support Module, 2024 21th International SoC Design Conference (ISOCC), 2024
@inproceedings{
paulsISOCC24,
title = "Integration of IP-Cores for the M³ Architecture with Low Area Overhead: Accelerator Support Module",
author = "Friedrich Pauls, Sebastian Haas, Yogesh Verma",
year = "2024",
booktitle = "2024 21th International SoC Design Conference (ISOCC)"
}
Nils Asmussen, Michael Roitzsch, Towards Disaggregation-Native Data Streaming between Devices, 3rd Workshop on Heterogeneous Composable and Disaggregated Systems (HCDS), 2024 , Download PDF
@inproceedings{
Asmussen:DisaggregationNative,
title = "Towards Disaggregation-Native Data Streaming between Devices",
author = "Nils Asmussen, Michael Roitzsch",
year = "2024",
booktitle = "3rd Workshop on Heterogeneous Composable and Disaggregated Systems (HCDS)",
address = "San Diego, CA, USA",
month = "May",
url = "https://arxiv.org/abs/2406.09421"
}
Nils Asmussen, Sebastian Haas, Adam Lackorzyński, Michael Roitzsch, Core-Local Reasoning and Predictable Cross-Core Communication with M³, 30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024 , Download PDF
@inproceedings{
Asmussen:Core-Local,
title = "Core-Local Reasoning and Predictable Cross-Core Communication with M³",
author = "Nils Asmussen, Sebastian Haas, Adam Lackorzyński, Michael Roitzsch",
year = "2024",
booktitle = "30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)",
address = "Hong Kong, China",
month = "May",
publisher = "IEEE",
url = "https://doi.org/10.1109/RTAS61025.2024.00024"
}
Till Miemietz, Viktor Reusch, Michael Roitzsch, An NVM Performance Study Towards Whole System Persistence on Server Platforms, 1st Workshop on Disruptive Memory Systems (DIMES), 2023 , Download PDF
@inproceedings{
Miemietz:NVM-WSP,
title = "An NVM Performance Study Towards Whole System Persistence on Server Platforms",
author = "Till Miemietz, Viktor Reusch, Michael Roitzsch",
year = "2023",
booktitle = "1st Workshop on Disruptive Memory Systems (DIMES)",
address = "Koblenz, Germany",
month = "October",
publisher = "ACM",
url = "https://doi.org/10.1145/3609308.3625269"
}
Mattis Hasler, Sebastian Haas, Mitigating Message Passing Interference in Trusted Embedded Platforms, 2023 20th International SoC Design Conference (ISOCC), 2023
@inproceedings{
HaslerISOCC23,
title = "Mitigating Message Passing Interference in Trusted Embedded Platforms",
author = "Mattis Hasler, Sebastian Haas",
year = "2023",
booktitle = "2023 20th International SoC Design Conference (ISOCC)"
}
Yogesh Verma, Mattis Hasler, Crosstalk-Based Hardware Trojan In Low Power Designs, 2023 20th International SoC Design Conference (ISOCC), 2023
@inproceedings{
VermaISOCC23,
title = "Crosstalk-Based Hardware Trojan In Low Power Designs",
author = "Yogesh Verma, Mattis Hasler",
year = "2023",
booktitle = "2023 20th International SoC Design Conference (ISOCC)"
}
Nilanjana Das, Mattis Hasler, Sebastian Haas, Implicit Hardware Trojan: Principles and Enabling Methods, 2023 20th International SoC Design Conference (ISOCC), 2023
@inproceedings{
DasISOCC23,
title = "Implicit Hardware Trojan: Principles and Enabling Methods",
author = "Nilanjana Das, Mattis Hasler, Sebastian Haas",
year = "2023",
booktitle = "2023 20th International SoC Design Conference (ISOCC)"
}
Friedrich Pauls, Sebastian Haas, Mattis Hasler, Trust-minimized Integration of Third-Party Intellectual Property Cores, 2023 20th International SoC Design Conference (ISOCC), 2023
@inproceedings{
PaulsISOCC23,
title = "Trust-minimized Integration of Third-Party Intellectual Property Cores",
author = "Friedrich Pauls, Sebastian Haas, Mattis Hasler",
year = "2023",
booktitle = "2023 20th International SoC Design Conference (ISOCC)"
}
Mattis Hasler, RoadRunner: A Modularized Hardware Design Management and EDA Tool Runner, Second Workshop on Open-Source Computer Architecture Research (OSCAR), 2023
@conference{
rr_hasler23,
title = "RoadRunner: A Modularized Hardware Design Management and EDA Tool Runner",
author = "Mattis Hasler",
year = "2023",
booktitle = "Second Workshop on Open-Source Computer Architecture Research (OSCAR)",
month = "June",
year = "2023"
}
Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen, Software-Defined CPU Modes, 19th Workshop on Hot Topics in Operating Systems (HotOS), 2023 , Download PDF
@inproceedings{
Roitzsch:SDCPUModes,
title = "Software-Defined CPU Modes",
author = "Michael Roitzsch, Till Miemietz, Christian von Elm, Nils Asmussen",
year = "2023",
booktitle = "19th Workshop on Hot Topics in Operating Systems (HotOS)",
address = "Providence, RI, USA",
month = "June",
publisher = "ACM",
url = "https://doi.org/10.1145/3593856.3595894"
}
Carsten Weinhold, Nils Asmussen, Diana Göhringer, Michael Roitzsch, Towards Modular Trusted Execution Environments, 6th Workshop on System Software for Trusted Execution (SysTEX), 2023 , Download PDF
@inproceedings{
Weinhold:ModularTEEs,
title = "Towards Modular Trusted Execution Environments",
author = "Carsten Weinhold, Nils Asmussen, Diana Göhringer, Michael Roitzsch",
year = "2023",
booktitle = "6th Workshop on System Software for Trusted Execution (SysTEX)",
address = "Rome, Italy",
month = "May",
publisher = "ACM",
url = "https://doi.org/10.1145/3578359.3593037"
}
Sebastian Haas, Nils Asmussen, A Trusted Communication Unit for Secure Tiled Hardware Architectures, 2022 29th IEEE International Conference on Electronics, Circuits, and Systems (ICECS), 2022 , Download PDF
@inproceedings{
hwtcu-haas,
title = "A Trusted Communication Unit for Secure Tiled Hardware Architectures",
author = "Sebastian Haas, Nils Asmussen",
year = "2022",
booktitle = "2022 29th IEEE International Conference on Electronics, Circuits, and Systems (ICECS)",
month = "October",
pages = "1-4"
}
Sebastian Haas, Mattis Hasler, Friedrich Pauls, Stefan Köpsell, Nils Asmussen, Michael Roitzsch, Gerhard Fettweis, Trustworthy Computing for O-RAN: Security in a Latency-Sensitive Environment, 2nd Workshop On Architectural Evolution Toward 6G Networks - 6GARCH, 2022 , Download PDF
@inproceedings{
m3oran-haas,
title = "Trustworthy Computing for O-RAN: Security in a Latency-Sensitive Environment",
author = "Sebastian Haas, Mattis Hasler, Friedrich Pauls, Stefan Köpsell, Nils Asmussen, Michael Roitzsch, Gerhard Fettweis",
year = "2022",
booktitle = "2nd Workshop On Architectural Evolution Toward 6G Networks - 6GARCH",
month = "December",
pages = "1-6"
}
Robert Walther, Carsten Weinhold, Michael Roitzsch, RATLS: Integrating Transport Layer Security with Remote Attestation, 4th Workshop on Cloud Security and Privacy (Cloud S&P), 2022 , Download PDF
@inproceedings{
Walther:RATLS,
title = "RATLS: Integrating Transport Layer Security with Remote Attestation",
author = "Robert Walther, Carsten Weinhold, Michael Roitzsch",
year = "2022",
booktitle = "4th Workshop on Cloud Security and Privacy (Cloud S&P)",
address = "Rome, Italy",
month = "June",
publisher = "Springer Nature",
url = "https://doi.org/10.1007/978-3-031-16815-4_20"
}
Friedrich Pauls, Sebastian Haas, Stefan Köpsell, Michael Roitzsch, Nils Asmussen, Gerhard Fettweis, On Trustworthy Scalable Hardware/Software Platform Design, Smart Systems Integration Conference and Exhibition (SSI), 2022 , Download PDF
@inproceedings{
hwswplatform_pauls2022,
title = "On Trustworthy Scalable Hardware/Software Platform Design",
author = "Friedrich Pauls, Sebastian Haas, Stefan Köpsell, Michael Roitzsch, Nils Asmussen, Gerhard Fettweis",
year = "2022",
booktitle = "Smart Systems Integration Conference and Exhibition (SSI)",
month = "April"
}
Till Miemietz, Maksym Planeta, Viktor Reusch, Jan Bierbaum, Michael Roitzsch, Hermann Härtig, Fast Privileged Function Calls, 11th Workshop on Systems for Post-Moore Architectures (SPMA), 2022 , Download PDF
@inproceedings{
Miemietz:FastCalls,
title = "Fast Privileged Function Calls",
author = "Till Miemietz, Maksym Planeta, Viktor Reusch, Jan Bierbaum, Michael Roitzsch, Hermann Härtig",
year = "2022",
booktitle = "11th Workshop on Systems for Post-Moore Architectures (SPMA)",
address = "Rennes, France",
month = "April"
}
Lluís Vilanova, Lina Maudlej, Shai Bergman, Till Miemietz, Matthias Hille, Nils Asmussen, Michael Roitzsch, Hermann Härtig, Mark Silberstein, Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOS, European Conference on Computer Systems (EuroSys), 2022 , Download PDF
@inproceedings{
Vilanova:FractOS,
title = "Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOS",
author = "Lluís Vilanova, Lina Maudlej, Shai Bergman, Till Miemietz, Matthias Hille, Nils Asmussen, Michael Roitzsch, Hermann Härtig, Mark Silberstein",
year = "2022",
booktitle = "European Conference on Computer Systems (EuroSys)",
address = "Rennes, France",
month = "April",
pages = "352–367",
url = "https://doi.org/10.1145/3492321.3519569"
}
Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch, Efficient and Scalable Core Multiplexing with M³v, ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2022 , Download PDF
@inproceedings{
Asmussen:M3v,
title = "Efficient and Scalable Core Multiplexing with M³v",
author = "Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, Michael Roitzsch",
year = "2022",
booktitle = "ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)",
address = "Lausanne, Switzerland",
month = "February",
publisher = "ACM",
pages = "452–466",
url = "https://doi.org/10.1145/3503222.3507741"
}
Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jeronimo Castrillon, Domain-Specific Hybrid Mapping for Energy-Efficient Baseband Processing in Wireless Networks, International Conference on Compilers, Architecture, and Synthesis of Embedded Systems (CASES), 2021 , Download PDF
@inproceedings{
Khasanov:BasebandMapping,
title = "Domain-Specific Hybrid Mapping for Energy-Efficient Baseband Processing in Wireless Networks",
author = "Robert Khasanov, Julian Robledo, Christian Menard, Andrés Goens, Jeronimo Castrillon",
year = "2021",
booktitle = "International Conference on Compilers, Architecture, and Synthesis of Embedded Systems (CASES)",
month = "October",
publisher = "ACM",
url = "https://doi.org/10.1145/3476991"
}
Carsten Weinhold, Nils Asmussen, Michael Roitzsch, Hardware/Software Co-Design für eine Modulare Systemarchitektur, Echtzeit 2020: Kommunikationssicherheit im Internet der Dinge, 2020
Inhalt dieses Papiers ist die Vorstellung eines Hardware/Software Co-Designs für Rechnerknoten im Internet der Dinge. Als Grundlage dient das M3-Mikrokernsystem, welches mittels einer neuartigen Hardware-Komponente sichere und effiziente Kommunikation zwischen Funktionsbausteinen innerhalb eines System-on-Chip erlaubt. Es wird außerdem ein Ausblick darauf gegeben, wie sichere Kommunikation über Knotengrenzen hinweg ermöglicht werden kann.
@inproceedings{
Weinhold:CoDesign,
title = "Hardware/Software Co-Design für eine Modulare Systemarchitektur",
author = "Carsten Weinhold, Nils Asmussen, Michael Roitzsch",
year = "2020",
booktitle = "Echtzeit 2020: Kommunikationssicherheit im Internet der Dinge",
month = "November",
publisher = "Springer",
pages = "21–30",
url = "https://doi.org/10.1007/978-3-658-32818-4_3"
}
Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia, A Heterogeneous Microkernel OS for Rack-Scale Systems, 11th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys), 2020 , Download PDF
@inproceedings{
Hille:RackScaleOS,
title = "A Heterogeneous Microkernel OS for Rack-Scale Systems",
author = "Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia",
year = "2020",
booktitle = "11th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys)",
address = "Tsukuba, Japan",
month = "August",
publisher = "ACM",
url = "https://doi.org/10.1145/3409963.3410487"
}
Lluís Vilanova, Lina Maudlej, Matthias Hille, Nils Asmussen, Michael Roitzsch, Mark Silberstein, Caladan: A Distributed Meta-OS for Data Center Disaggregation, 10th Workshop on Systems for Post-Moore Architectures (SPMA), 2020 , Download PDF
@inproceedings{
Vilanova:Caladan2020,
title = "Caladan: A Distributed Meta-OS for Data Center Disaggregation",
author = "Lluís Vilanova, Lina Maudlej, Matthias Hille, Nils Asmussen, Michael Roitzsch, Mark Silberstein",
year = "2020",
booktitle = "10th Workshop on Systems for Post-Moore Architectures (SPMA)",
month = "April"
}
Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig, SemperOS: A Distributed Capability System, USENIX Annual Technical Conference (ATC), 2019 , Download PDF
@inproceedings{
Hille:SemperOS,
title = "SemperOS: A Distributed Capability System",
author = "Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Härtig",
year = "2019",
booktitle = "USENIX Annual Technical Conference (ATC)",
address = "Renton, WA, USA",
month = "July",
publisher = "USENIX"
}
Nils Asmussen, Michael Roitzsch, Hermann Härtig, M3x: Autonomous Accelerators via Context-Enabled Fast-Path Communication, USENIX Annual Technical Conference (ATC), 2019 , Download PDF
@inproceedings{
Asmussen:M3x,
title = "M3x: Autonomous Accelerators via Context-Enabled Fast-Path Communication",
author = "Nils Asmussen, Michael Roitzsch, Hermann Härtig",
year = "2019",
booktitle = "USENIX Annual Technical Conference (ATC)",
address = "Renton, WA, USA",
month = "July",
publisher = "USENIX"
}
Nils Asmussen, Michael Roitzsch, Carsten Weinhold, Pluggable Components All The Way Down, 1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS), 2019 , Download PDF
@inproceedings{
Asmussen:Pluggable2019,
title = "Pluggable Components All The Way Down",
author = "Nils Asmussen, Michael Roitzsch, Carsten Weinhold",
year = "2019",
booktitle = "1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS)",
address = "Montreal, Canada",
month = "April"
}