The World of Smart ID Solutions
Berlin I 22. – 24. Januar 2024
Vor mehr als 20 Jahren hat Michael Hohmuth an der TU Dresden mit der Entwicklung der ersten Version des heutigen L4Re Mikrokerns begonnen und es zum Thema seiner Dissertation gemacht. An der TU Dresden und auch bei AMD trieb er Forschungsprojekte mit den Schwerpunkten Betriebssysteme, Virtualisierung, Rechnerarchitektur und IT-Security. Seit 2012 ist er Geschäftsführer der Kernkonzept Gmbh und begleitet mit seinem Wissen Kunden bis zur erfolgreichen Zertifizierung und Inbetriebnahme ihrer Produkte in sicherheitskritischen Umgebungen. Dr.-Ing. Michael Hohmuth beschäftigt sich seit mehr als 20 Jahren mit Mikrokernen und ist der ursprüngliche Autor des L4Re Microkernels.
An der TU Dresden und bei AMD forschte er auf den Gebieten Betriebssysteme, Virtualisierung, Rechnerarchitektur und IT-Security.
Seit 2012 ist Michael Hohmuth Mitgründer und Geschäftsführer der Kernkonzept GmbH, einem Dresdner Unternehmen, das das L4Re Operating System weiterentwickelt und wartet.
Seit 2024 gibt es den L4Re Secure Separationkernel VS, die erste nach dem Anforderungsprofil
Separationskern vom BSI bis VS GEHEIM zugelassene Betriebssystemplattform, mit der sich
der Kompositionsansatz erstmals voll nutzen lässt. Unter Einhaltung spezifischer
Hardwareanforderungen bietet der L4Re Secure Separationkernel VS eine optimale Plattform
für die Zulassung. Hersteller von VS-Produkten können darauf aufbauen und müssen sich nur
noch auf die Integration konzentrieren, sodass lediglich die oberste Anwendungsebene im
Zulassungsprozess im Fokus steht. Dieser Ansatz senkt den Aufwand erheblich und
beschleunigt die Zulassung.
The World of Smart ID Solutions
