TUD Logo

TUD Home » ... » Groups » Operating Systems » Fiasco and L4Re featuring in SiMKo3 High Security Smartphone

Operating Systems

Fiasco and L4Re featuring in SiMKo3 High Security Smartphone

Since over 15 years, TU Dresden's operating system group is a pioneer in research and development of L4-family systems. It created the L4/Fiasco.OC kernel, the L4Re runtime environment, the Nizza secure-system architecture and the Nova virtualization system.

The [SiMKo 3 software](http://www.telekom.com/medien/loesungen-fuer-unternehmen/200140) combines two separated Android compartments on L4/Fiasco.OC and L4Re, one reserved and well protected for company matters, the other open for personal activities. The TU Dresden OS group is proud of this achievement.

The group nowt continues researching the next steps in high-security software platforms: highly critical applications - rather than running on Android within a protected compartment - run as Micro-Applications and Micro-Servers directly on L4Re, thus even further minimizing the attack surface.

The Operating Systems Group's latest spin-off, [Kernkonzept GmbH](http://www.kernkonzept.com), is leading this successful commercial application of the innovative research platform.

Last modified: 20th Sep 2013, 4.52 PM
Author: Webmaster

Contact
Prof. Dr.
Hermann Härtig

Phone: +49 (0) 351 463-38282
Fax: +49 (0) 351 463-38284
e-mail contact form

Angela Spehr

Phone: +49 (0) 351 463-38281
Fax: +49 (0) 351 463-38284
e-mail contact form

Office hours:
9.00 AM to 3.00 PM