News
Auszeichnung für seine hervorragende Abschlussarbeit mit Zukunftsrelevanz für Anwendungen im Bereich Security
Herr Böving überzeugte die FTBI-Jury in der Kategorie "Bachelorarbeiten in der Informatik"
04/10/2024
Der Fachbereichstag Informatik (FBTI) zeichnet hervorragende Abschlussarbeiten aus, unter besonderer Berücksichtigung der Relevanz für zukünftige Anwendungen.
Die von Herrn Böving in diesem Projekt verwendeten Techniken wie Rust als Programmiersprache, der L4.Fiasco Microkernel sowie formale Verifikation zielen alle darauf ab, Sicherheitslücken zu verhindern.
Dabei bietet Rust memory-safety, eine Microkernelarchitektur schützt Speicher- und Hardwarebereiche im Kernbereich eines Systems. Formale Verifikation erlaubt es, logische Fehler im Programm durch mathematische Analysen zu finden.
Mit seiner Arbeit hat Herr Böving gezeigt, dass er eine praktische Fragestellung mit methodischer Wissenschaftlichkeit lösen kann. Sowohl die Verwendung der Programmiersprache Rust als auch die formale Verifikation des entwickelten Treibers erhöhen die Qualität der Software und verbessern die Sicherheit durch den Korrektheitsnachweis. Gleichzeitig hat sich die verifizierte Implementierung als effizient genug für die direkte Verwendung herausgestellt. Der von Herrn Böving in seiner Arbeit entwickelte Treiber kann so direkt in L4.Fiasco verwendet werden.
Erstbetreuer der Arbeit ist Prof. Dr. Matthias Güdemann.
Die Verleihung fand im Rahmen des Informatik Festivals 2024 der Gesellschaft für Informatik (GI) am 25. September 2024 in Wiesbaden statt."