The distributed and operating systems group researches the fundamentals of adaptive computing systems and their application-oriented evaluation concerning performance, reliability, and security. Research topics cover all aspects related to distributed and network-centric information systems and model-driven security engineering of IT systems.more

abstrakt dargestellter ProgrammiercodeiStockphoto / monsitj
TU Ilmenau / Michael Reichel (ari)


We offer courses on topics related to distributed systems and operating systems, including specialized courses on their non-functional properties. Special emphasis is put on critical requirements for information security. Our teaching offer in German or English covers various courses of study. more


  • Saad Saleh, Anouk S. Goossens, Sunny Shu, Tamalika Banerjee and Boris Koldehofe. Analog In-Network Computing through Memristor-based Match-Compute Processing. To Appear in Proceedings of the 43rd IEEE International Conference on Computer Communications, INFOCOM 2024, IEEE, 2024.
  • Saad Saleh and Boris Koldehofe. The Future is Analog: Energy-Efficient Cognitive Network Functions over Memristor-Based Analog Computations. In Proceedings of the 22nd ACM SIGCOMM Workshop on Hot Topics in Networks, HotNets 2023, ACM, 2023.
  • Marius Schlegel, Peter Amthor. Beyond Administration: A Modeling Scheme Supporting the Dynamic Analysis of Role-based Access Control Policies. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 431–442, 2020.
  • Peter Amthor, Marius Schlegel. Towards Language Support for Model-based Security Policy Engineering. In Proceedings of the 17th International Conference on Security and Cryptography, SECRYPT 2020, pages 513–521, 2020.
  • Peter Amthor, Martin Rabe. Command Dependencies in Heuristic Safety Analysis of Access Control Models. In Proceedings of the 12th International Symposium on Foundations & Practice of Security, FPS 2019, pages 207–224, 2020.


iStockphoto / metamorworks