Programm des Fachgruppentreffens in Aachen 25./26. September 2025
Proceedings des Treffens in der GI Digital Library.
| Tag 1: Donnerstag, 25. September 2025 | |
| 12:15 | 🇩🇪/🇬🇧 Begrüßung |
| Session 1: Prozesse & Analyse | |
| 12:30 | 🇬🇧 Spork: A posix_spawn you can use as a fork
[]
Manuel Vögele, Christopher Thomas, Timo Hönig - RUB |
| 13:00 | 🇬🇧 Dynamic Fuzzing-Based Whole-System Timing Analysis
[]
Alwin Berger, Simon Schuster, Peter Wägemann, Peter Ulbrich - TU Dortmund, FAU Erlangen-Nürnberg |
| 13:30 | 🇬🇧 Compile-Time Resource Safety for GPU APIs: A Low-Overhead Typestate Framework
[, ]
Tihomir Thomas Bicanic - Universität Trier |
| 14:00 | Kaffeepause (15 Minuten) |
| Session 2: Sicherheit & Fehlertoleranz | |
| 14:15 | 🇬🇧 Enforcing Flexible Access Control Policies in a Rust-based Linux Security Module
[]
Lukas Fischer - TU Ilmenau |
| 14:45 | 🇬🇧 Screen Readers -- Out of Sight, but in the TCB
[, ]
Sebastian Humenda, Samuel Thibault, Horst Schirmeier - TU Dresden |
| 15:15 | 🇬🇧 PatchyBFT: LLM-based Diversification of Byzantine Fault-Tolerant Systems
[]
Arne Vogel, Sebastian Schwarzmann, Rüdiger Kapitza - FAU Erlangen-Nürnberg |
| 15:45 | Kaffeepause (15 Minuten) |
| Session 3: Simulation & Nachwuchs | |
| 16:00 | 🇬🇧 Full System Simulation for Early Software Development and Testing
Lukas Jünger, Machineware (Invited Talk) |
| 16:30 | Absolventenpreis |
| 17:00 | Besichtigung des E.ON Energy Research Centers |
| 17:30 | Treffen der Fachgruppe |
| 19:00 | Social Event, Living in Magellan (Speisekarte online) |