Research
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
Teaching
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 and Boris Koldehofe. The Future is Analog: Energy-Efficient Cognitive Network Functions over Memristor-Based Analog Computations. To Appear in Proceedings of the 22nd ACM 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.