CSL is a high-tech startup with a focus on component-based development of software for security critical systems.
Decomposing complex IT security systems into components allows to isolate security functionality from non-security functionality. This enables faster development of IT security products and eases the process of asserting and evaluating assurance.
Our component-based systems run on-top of a microkernel. The use of microkernels dramatically reduces the Trusted Computing Base (TCB) compared to monolithic kernels like Linux / OpenBSD / Windows.
We develop technology for a Multi-level Security system. This allows a user to process information of different classification levels on a single system and eliminates the need for a multitude of physically isolated workstations for each classification level.