FOLLOW US ON:
HEADQUARTER POSTAL ADDRESS:
OUR OFFICE IS LOCATED HERE:
TRENTOS is a revolution in cyber security based on the seL4 microkernel, the only microkernel that offers end-to-end proof of implementation correctness and security enforcement. HENSOLDT Cyber developed a highly secure operating system for IoT devices and cyber physical systems. seL4 provides strict isolation of components, with communication restricted to explicitly enabled channels, ensuring clarity of information flows. Mathematical proofs of implementation correctness of seL4 as well as critical components guarantee system integrity under all operating conditions. TRENTOS is your operating system of choice for protecting your IoT network.
In order to achieve the highest possible level of security coupled with a maximum of flexibility and availability of features, both flavors of TRENTOS can be combined into an ultra-secure solution. Furthermore, HENSOLDT Cyber will support you in the development of dedicated applications and interfaces.