Kolloquium Systemsoftware
Kolloquium Systemsoftware
Das Kolloquium findet in der Regel wöchentlich statt und bietet Einblicke in aktuelle Forschungsergebnisse und Abschlussarbeiten aus den vier Forschungsbereichen unseres Lehrstuhls: Betriebssysteme, Confidential Computing, Verteilte Systeme und Eingebettete Systemsoftware. Die nächsten Vorträge sind in der folgenden Übersicht aufgeführt.Mitglieder
Lehrstuhlleiter: Prof. Dr.-Ing. Rüdiger Kapitza
Gruppenleiter[innen]: Dr. Christian Berger, Dr.-Ing. Jürgen Kleinöder, Dr.-Ing. Volkmar Sieh, Dr.-Ing. habil. Peter Wägemann
Wissenschaftler[innen] und Doktorand[inn]en siehe Teamseite
Vorträge
| Datum | Titel | Vortragende[r] |
|---|---|---|
| 2026-09-15 | BA-Vortrag: Design und Implementierung von "OpenID Connect"-Offloading ohne Sitzungsterminierung in SmartNICs | Lea Eichelsdörfer |
| 2026-09-08 | MA-Vortrag: Automated Synthesis and Integration of Assertions to Secure Compartment Boundaries | Jalal Uddin |
| 2026-08-11 | Vortrag Masterprojekt: Design and Implementation of Fault-Correlation-Aware Quorum Systems for BFT | Benjamin Haag |
| 2026-08-06 | MA-Vortrag: Data Recovery in Persistent Memory Based Operating Systems Upon Power Failure | Sebastian Rußer |
| 2026-07-20 | Bericht: On the Applicability of Electromagnetic Fault Injection for Software-Hardened Systems | Dominik Pulek |
| 2026-06-30 | BA-Vortrag: Using Formal Specifications for the Generation of,Distributed Systems with LLMs | Simon Kirchhöfer |
| 2026-06-23 | Vortrag Masterprojekt: Abstrakte Ausführung von Rust MIR | Conner Siebert |
| 2026-06-23 | BA-Vortrag:: WasmBench | Pino Kögler |
| 2026-06-16 | MA-Vortrag: WebASM-Ausführungsumgebung für JITTY | Johannes Czekay |
| 2026-06-09 | BA-Vortrag: Design and Implementation of MinBFT within Themis using Intel SGX | Andreas Rüger |
| 2026-06-02 | BA-Vortrag: DIY: Do Initialisation Yourself | Philipp Potsch |
| 2026-06-02 | BA-Vortrag: JITTY-Heap | Henri Niemann |
| 2026-06-02 | BA-Vortrag: JITTY-Hardware-Tests | Stefan Batzke |
| 2026-05-19 | MA-Vortrag: Chained-Themis: Designing a Modular and Scalable BFT Framework through Protocol Chaining | Raphael Stellwag |
| 2026-05-19 | BA-Vortrag: Implementierung adaptiver Quorensysteme in BFT-SMaRt zur Latenzoptimierung in WANs | Linus Gnan #BA |
| 2026-05-18 | Bericht: Dynamic Whole-System Response-Time Analysis for Automotive Systems | Sunil Maddipati |
| 2026-05-12 | MA-Vortrag: SOLID - Secure Opportunistic Lazy IOMMU Invalidation for Linux | Ferdinand Schober |
| 2026-05-05 | MA-Vortrag: A Comparative Evaluation of Emerging eBPF-Sandboxing Approaches | Milan Stephan |
| 2026-04-28 | Probevortrag: WASM-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices | Maximilian Seidler |
| 2026-04-28 | Probevortrag: SOLID - Simple, Optimised, but Lazy IOMMU Invalidation for Linux | Ferdinand Schober |
| 2026-04-23 | Probevortrag: Towards practical DAG-based BFT SMR | Paul Bergmann |
| 2026-04-21 | Vortrag Masterprojekt: Statische Optimierung des Durchschnittlichen Energieverbrauchs Eingebetteter Systeme | Arda Köcer |
| 2026-04-07 | Probevortrag: MA Chained-Themis: Designing a Modular and Scalable BFT Framework through Protocol Chaining | Raphael Stellwag |
| 2026-03-31 | BA-Vortrag: Design and implementation of an intermediate representation to,explore and improve compartmentalization of Rust programs | Simeon Zobel |
| 2026-03-23 | Bericht: Verteidigung Christopher Eibel | Christopher Eibel |
| 2026-02-24 | MA-Vortrag:: Micro Replication of an Asynchronous BFT Protocol Using HoneyBadgerBFT as an Example | Theresa Schlicht |
| 2026-02-24 | BA-Vortrag: Design and Implementation of an Energy Aware Asynchronous Execution Runtime for Byzantine Fault-Tolerant State-Machine Replication | Jan Zachariae |
| 2026-02-24 | Bericht: Space Hypervisor (radaway) | Fabian Wehrhahn |
| 2026-02-24 | Bericht:: DIY (MemLock) | Philipp Potsch |
| 2026-02-17 | Bericht: Erweiterung von WebAsm um Interrupts, Exceptions und System-Calls | Johannes Czekay |
| 2026-02-17 | Bericht: Automated Synthesis and Integration of Assertions to Secure Compartment Boundaries | Jalal Uddin |
| 2026-02-10 | MA-Vortrag: MicroStuff: Ein mikrorepliziertes BFT-Protokoll mit niedrigem Einigungsaufwand | Kevin Kocev |
| 2026-02-03 | MA-Vortrag: Towards Energy-Aware Byzantine Fault-Tolerant DAG-Based Consensus | Stefan Pfahler |
| 2026-02-03 | MA-Vortrag: ATLAS: Holding the Weight of Synchronization - A Transparent Lock Analysis and Substitution Mechanism for JIT Runtimes | Jonas Hübner |
| 2026-01-27 | MA-Vortrag:: A Kernel-Based Implementation for Collecting Memory Access Statistics of Users Processes in FreeBSD using Page Modification Logging | Samuel Renn |
| 2026-01-27 | MA-Vortrag: Evaluating and Enhancing Rust’s Fault Tolerance For Use in Space | Kevin Kollenda |
| 2026-01-20 | Probevortrag: Praxisnahe Ansätze für Zustandsmaschinenreplikation in kleinskaligen Systemen | Laura Lawniczak |
| 2025-12-16 | BA-Vortrag: Implementing the Narwhal Mempool Protocol for a Rust-based BFT Framework | Ibrahim Yaylan |
| 2025-12-16 | BA-Vortrag:: Interruptible Suspend-to-NVRAM recovery | Tizian Russo |
| 2025-12-09 | BA-Vortrag: Design und Implementierung eines Fuzzers für einen Byzantinisch-fehlertoleranten Replikationsalgorithmus | Felix Urbanek |
| 2025-11-25 | Probevortrag: WatwaOS | Tobias Häberlein |
| 2025-11-19 | BA-Vortrag: Reactor: Designing and Implementing a Reactor Framework in WebAssembly | Moritz Tietze |
| 2025-11-04 | Vortrag Masterprojekt: OS im Browser | Johannes Czekay |
| 2025-10-29 | Probevortrag: WasmEye | Arne Vogel |
| 2025-10-21 | BA-Vortrag: Design and Implementation of a Distributed Fault-Tolerant UAV Swarm System for Wildfire Management Support | Si-Hoon Kang |
| 2025-10-16 | BA-Vortrag: TinyBFTNV: Towards Utilization of Non-Volatile Memory in Highly Resource-Constrained Byzantine Fault-Tolerant State-Machine Replication | Christoph Neuner |
| 2025-10-14 | BA-Vortrag: Interrupt-Handling im JITTY-OS | Sönke Holz |
| 2025-10-07 | Vortrag Masterprojekt: RobustThemis | Raphael Stellwag |
| 2025-10-06 | Probevortrag: Bachelorarbeit | Sönke Holz |
| 2025-09-30 | Probevortrag: Static Analysis of Reference Counted Objects for the C Programming Language | Ole Wiedemann |
| 2025-09-23 | Probevortrag:: Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation | Maximilian Seidler |
| 2025-09-16 | Probevortrag:: PatchyBFT | Arne Vogel |
| 2025-09-02 | Probevortrag: Vorhersagbare Ausführung im intermittierenden Betrieb gerätegebundener eingebetteter Systeme | Phillip Raffeck |
| 2025-08-19 | MA-Vortrag: Energiebedarfsvorhersage für autonome, lernende neuronale Netzwerke auf eingebetteten Systemen | Maximilian Linke |
| 2025-08-05 | Gastvortrag: High performance locking and scheduling on NUMA systems | Rafael Chehab |
| 2025-07-30 | Probevortrag: TEE-Assisted Recovery and Upgrades for Long-Running BFT Services | Ines |
| 2025-07-22 | Probevortrag: Entwicklung eines verteilten Drohnenschwarmsystems zur Einsatzunterstützung bei der Waldbrandbekämpfung | Si-Hoon Kang |
| 2025-07-22 | Vortrag Masterprojekt: ptrace für JITTY | Sebastian Rußer |
| 2025-07-15 | Gastvortrag: InferONNX: Practical and Privacy-preserving Machine Learning Inference using Trusted Execution Environments | Konstantina Papafragkaki |
| 2025-07-15 | MA-Vortrag: Worst-Case Execution-Time Analysis of WebAssembly Modules on Constrained Devices | Martin Michelis |
| 2025-07-15 | Gastvortrag: TEE-Based Distributed Ledgers and Their Resilience | Marc Leinweber |
| 2025-07-07 | Probevortrag: Worst-Case Execution-Time Analysis of WebAssembly Modules on Constrained Devices | Martin Michelis |
| 2025-06-24 | Vortrag Masterprojekt: WasmBus | Valentin Olpp |
| 2025-06-24 | Vortrag Masterprojekt: Implementierung des ADS-L Protokolls auf Basis des RFM98 in Rust | Stefan Pfahler |
| 2025-06-17 | BA-Vortrag: BFT Fuzzing | Stefan Bauer |
| 2025-06-17 | MA-Vortrag: Kernel-JVM | Lukas Rotsching |
| 2025-06-03 | Vortrag Masterprojekt: vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems | Markus Gerber |
| 2025-06-03 | MA-Vortrag: Konzeption und Implementierung eines blockchainbasierten Flugdatenschreibers für Drohnen | Rafeel Bhatti |
| 2025-06-03 | Probevortrag: Kernel-JVM | Lukas Rotsching |
| 2025-05-13 | Vortrag Masterprojekt: CHERI - Ein Überblick | Christoph Pirzer |
| 2025-05-13 | BA-Vortrag: Kettenbasierte Mikroreplikation | Jonathan Adshead |
| 2025-05-06 | BA-Vortrag: An Empirical Analysis of Cloud Carbon Models | Arya Mirsepasi |
| 2025-05-06 | MA-Vortrag: Referenzzähler-Checking in JITTY | Ole Wiedemann |
| 2025-04-29 | MA-Vortrag: WasmEye | Timothee Glörfeld |
| 2025-04-29 | MA-Vortrag: Tiny-ML Inference in Safety-Critical Real-Time Systems | Oliver Kleist |
| 2025-04-25 | Probevortrag: An Empirical Analysis of Cloud Carbon Models | Arya Mirsepasi |
| 2025-04-22 | MA-Vortrag: Energiebedarfsvorhersage für autonome lernende neuronale Netzwerke auf eingebetteten Systemen | Maximilian Linke |
| 2025-04-11 | Probevortrag: Referenzzähler-Checks für JITTY | Ole Wiedemann |
| 2025-03-27 | Statusbericht: Trustworthy Cloud Services Founded on Trusted Execution Environments (PhD pre-presentation) | Ines Messadi |
| 2025-03-25 | Vortrag Masterprojekt: NVRAM-aware FreeBSD-Drivers | Jonathan Krebs |
| 2025-03-25 | BA-Vortrag: MESy-BFT: A Memory-Efficient Synchronous Byzantine Fault Tolerant Library for Highly Resource-Constrained Systems | Jonas Rauch |
| 2025-03-11 | BA-Vortrag: Serialisierung und Deserialisierung von,Funktionsparametern mit nur einer Traitsgrenze als, Typ in Rust | Dimitri Tayo Fongang Wembe |
| 2025-03-11 | MA-Vortrag: Automated Energy-Model Generation for Energy- Constrained Real-Time Systems | Stefan Eschenbacher |
| 2025-03-04 | Statusbericht: Optimized Architectures and Algorithms for Blockchain and IoT-based Applications | Khouloud HWERBI |
| 2025-02-04 | BA-Vortrag: Stärkung der Sicherheit in Rust-Programmen durch semantische Analyse | Conner Siebert |
| 2025-01-28 | BA-Vortrag: Splitting library function calls in Rust as if they were regular function calls | Benjamin Haag |
| 2025-01-28 | MA-Vortrag: Comparison of bytecodes for constrained devices | Lennart Paepcke |
| 2025-01-21 | BA-Vortrag: Locking in JITTY | Jens Fischer |
| 2025-01-16 | Probevortrag: Locking in JITTY | Jens Fischer |
| 2025-01-14 | MA-Vortrag: Automatic Benchmark Generation for Retargeting Real-Time Motion Control between Multi-Core Processors | Berfin Üstün |
| 2025-01-07 | Statusbericht: Trustworthy Execution of 5G Components | Jana Eisoldt |
| 2024-12-10 | Statusbericht: Holistic Approaches to Performance Optimization in Decentralized Systems: A Study of Hyperledger Fabric | Jeeta Chacko |
| 2024-12-03 | MA-Vortrag: Carbon-Aware Systemd Timers | Michael Gebhard |
| 2024-11-19 | Bericht: Referenzzähler-Checks für JITTY | Ole Wiedemann |
| 2024-11-13 | Statusbericht: Systematic comparison of software fault mitigation techniques | Fiona Broemer |
| 2024-11-12 | MA-Vortrag: watwa-os | Tobias Häberlein |
| 2024-11-12 | Vortrag Masterprojekt: Dynamic Software Updates under Real-Time Linux | Martin Michelis |
| 2024-11-05 | Bericht: JVM im Linux Kernel | Lukas Rotsching |
| 2024-10-31 | Probevortrag: HotInfra (Short Talk): Towards Static Analysis of Interrupt Blocking Times | Thomas Preisner |
| 2024-10-31 | Probevortrag: HotInfra (Short Talk): Delayed Privilege Escalation for Fast System Calls | Maximilian Ott |
| 2024-10-29 | Probevortrag: HotInfra (Short Talk): Static Analysis of Interrupt Delays in Operating System Kernels | Thomas Preisner |
| 2024-10-29 | Vortrag Masterprojekt: Balu Literatur | Arbi Akbulatov |
| 2024-10-22 | MA-Vortrag: Compiler-Optimierungen | Christian Halder |
| 2024-10-17 | Probevortrag: Compiler-Optimierungen | Christian Halder |
| 2024-10-15 | Probevortrag: FGBS | Phillip Raffeck |
| 2024-10-15 | Probevortrag: FGBS: Not Right Now!,Collaborative Overload Prevention for Replicated Services | Laura Lawniczak |
| 2024-10-08 | BA-Vortrag: A Virtual Non-Volatile Heap for Embedded Systems in Rust | Markus Gerber |
| 2024-10-02 | Statusbericht: Pre-Presentation | Phillip Raffeck |
| 2024-09-26 | BA-Vortrag: VulnWASM | Lasse Krähmer |
| 2024-09-12 | Probevortrag: NEON-Vortrag für SPP | Thomas Preisner |
| 2024-09-11 | MA-Statusbericht: Comparison of bytecodes for constrained devices | Lennart Paepcke |
| 2024-09-04 | Gastvortrag:: Empowering users in Online services | Pierre Louis Aublin |
| 2024-08-30 | BA-Vortrag: A Rust-based Alternative to BPF | Ben Kowol |
| 2024-08-28 | Probevortrag: Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (LPC'24) | Luis Gerhorst |
| 2024-08-21 | MA-Vortrag: GenerousHost | Steve Pegouen |
| 2024-08-20 | Probevortrag: VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extentions | Luis Gerhorst |
| 2024-08-07 | MA-Vortrag:: IRQ-Locking Analyse | Jonathan Krebs |
| 2024-07-18 | Probevortrag: IRQ-Locking Analyse | Jonathan Krebs |
| 2024-07-17 | MA-Statusbericht: WatwaOS-Statusvortrag | Tobias Häberlein |
| 2024-07-17 | MA-Vortrag:: WasmEye | Alexander Sztekely-Schenker |
| 2024-07-16 | BA-Vortrag: Conception and Implementation of a Flight Recorder System for Autonomous Drones based on ArduPilot | Benedikt Nerb |
| 2024-07-16 | Vortrag Masterprojekt:: Neue System-Calls für JITTY | Milan Stephan |
| 2024-07-10 | Statusbericht:: Pre-Presentation PhD Laura | Laura Lawniczak |
| 2024-07-10 | Gastvortrag:: Leander Jehl | Leander Jehl |
| 2024-07-10 | Probevortrag: Neue System-Calls JITTY | Milan Stephan |
| 2024-07-09 | MA-Vortrag: A code optimizing JIT compiler for LLVM, designed for bare metal operation | Christian Schabesberger |
| 2024-07-03 | Gastvortrag:: Enhancing Security in Trusted Execution Environments through Program Partitioning | Peterson Yuhala |
| 2024-07-03 | MA-Vortrag:: PatchBFT | Sebastian Schwarzmann |
| 2024-06-26 | Probevortrag: Crêpe: Clock-Reconfiguration–Aware Preemption Control in Real-Time Systems with Devices | Eva Dengler |
| 2024-06-25 | BA-Vortrag: Baumbasierte Anomalieerkennung für WebAssembly | Kevin Mai |
| 2024-06-13 | Probevortrag: A code optimizing JIT compiler for LLVM, designed for bare metal operation | Christian Schabesberger |
| 2024-06-12 | BA-Vortrag: Implementing an Address Sanitizer Runtime for x86-64 Kernel Development | Julian Zboril |
| 2024-06-05 | Probevortrag: WoCA: Avoiding Intermittent Execution in Embedded,Systems by Worst-Case Analyses with Device States | Phillip Raffeck |
| 2024-05-29 | BA-Vortrag: Treiberinterface JITTY | Max Schleifer |
| 2024-05-15 | Probevortrag: Treiberinfrastruktur JITTY | Max Schleifer |
| 2024-05-08 | BA-Vortrag: Design and Implementation of a Hardware-Agnostic Communication Layer for PBFT | Nils Jansen |
| 2024-04-17 | MA-Vortrag: Power-Aware Scheduling of Intermittent Systems with Energy-Storage Considerations | Sven Posner |
| 2024-03-28 | BA-Vortrag: Static Analysis of Operating-System Interrupt Latencies | Kevin Kollenda |
| 2024-03-15 | MA-Vortrag: Statische Analyse von WebAssembly | Jannik Schütz |
| 2024-02-22 | Probevortrag: Software-based Memory Consistency Mechanisms for Non-Coherent Many-Core Systems | Tobias Langer |
| 2024-02-22 | Vortrag Masterprojekt: RuStuBS: Ein Rustport von MPStuBS für die Lehre | Paul Bergmann |
| 2024-02-15 | MA-Vortrag: Tool-Supported Architecture Transformation of Neural-Network Applications under Real-Time Constraints | Stefan Bauer |
| 2024-02-08 | Bericht: A Framework to Support Safety in Autonomous Systems and Achievements during my stay at FAU | Leonardo Passig Horstmann |
| 2024-02-08 | Bericht: On the Specification and Verification of Safety Properties in Data-driven Critical Systems: Achievements during my stay at FAU | José Luis Conradi Hoffmann |
| 2024-02-08 | Gastvortrag: Einführung in Zenodo | Jürgen Rohrwild |
| 2024-02-01 | BA-Vortrag: Extending the fauccc Compiler with Code Documentation Verification | Sebastian Rußer |
| 2024-01-25 | BA-Vortrag: Treiberunterstützung für X11 in JITTY | Jonas Pfister |
| 2024-01-18 | Probevortrag: X11-Support für JITTY | Jonas Pfister |
| 2024-01-11 | Vortrag Masterprojekt: mkip: A DHCP-Client in Rust | Lorena Kretzschmar |
| 2023-12-07 | Probevortrag: Probevortrag | Michael Eischer |
| 2023-12-07 | MA-Vortrag: (Zwischenpräsentation) Improving Static Call Graph Analysis for WebAssembly | Jannik Schütz |
| 2023-11-30 | BA-Vortrag: Sicherer, isolierter und direkter Zugriff auf PCI-Geräte aus dem User-Space mittels Memory-Mapping und Interrupt-Weiterleitung in JITTY OS | Philipp Brügmann |
| 2023-10-05 | Vortrag Masterprojekt: JITTY Tickless Kernel | Michael Gebhard |