News

Einführungstermin Haupt- und Proseminar VSBS

Verpflichtender Einführungstermin am Do, 12.10.2023, 17:00 in Raum Z 1014

Sollten Sie Interesse an einem Thema in unserem Proseminar/Hauptseminar haben bitten wir Sie, sich ab dem 25.09.2023 in diesem Moodle-Kurs einzuschreiben (Einschreibschlüssel: "seminar"). Diese vorherige Anmeldung in Moodle ist für eine Teilnahme zwingend erforderlich!

Bitte beachten Sie außerdem, dass am Donnerstag, 12.10.2023, 17:00 Uhr in Raum Z 1014 eine verpflichtende Einführungsveranstaltung zur Organisation der Seminare und den verfügbaren Themen stattfinden wird. Wir freuen uns auf reges Interesse!

Hinweis: Die Anzahl möglicher Teilnehmer ist durch die verfügbaren Themen/Betreuer limitiert. Wir behalten uns weiterhin vor, zur Auflösung von nicht anders lösbaren Konflikten die Reihenfolge der Einschreibedaten im Moodle-Kurse heranzuziehen (FCFS), sollte eine derartige Situation auftreten.

Forschung

Die Forschung des Fachgebiets im Bereich Verteilter Systeme und Betriebssysteme befasst sich mit Grundlagen der adaptiven und verteilten Rechnersystemen sowie deren anwendungsnahe Evaluierung hinsichtlich Leistungsfähigkeit, Zuverlässigkeit und Sicherheit.  Angesichts der dramatisch gestiegenen Anforderungen an Rechnersysteme in kritischen Anwendungsdomänen werden neue Paradigmen, Methoden und Techniken zu deren Entwicklung, Implementierung und Verifikation und erforscht.

     

mehr

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

Lehre

Wir bieten Lehrveranstaltungen zu Themen der verteilten Systeme und Betriebssysteme an, einschließlich spezialiserter Veranstaltungen zu deren nichtfunktionalen Eigenschaften. Einen besonderen Stellenwert nehmen hierbei kritische Anforderungen an Informationssicherheit ein. Unser Lehrangebot auf Deutsch oder Englisch erstreckt sich auf verschiedene Studiengänge. mehr

Publikationen

iStockphoto
  • 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.

Team

iStockphoto / metamorworks