Author of the publication

Safety Certification with the Open Source Microkernel-Based Operating System L4Re.

, , , and . SAFECOMP, volume 13414 of Lecture Notes in Computer Science, page 31-45. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

FFMK: An HPC OS Based on the L4Re Microkernel., , and . Operating Systems for Supercomputers and High Performance Computing, 1, Springer, (2019)Virtualization as an enabler for security in mobile devices., , , , and . IIES@EuroSys, page 17-22. ACM, (2008)Taming subsystems: capabilities as universal resource access control in L4., and . IIES@EuroSys, page 25-30. ACM, (2009)Virtual machines jailed: virtualization in systems with small trusted computing bases., , , and . VDTS@EuroSys, page 18-23. ACM, (2009)Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles., and . ICECS, page 783-786. IEEE, (2019)FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale Computing., , , , , , , , , and 9 other author(s). Software for Exascale Computing, volume 136 of Lecture Notes in Computational Science and Engineering, Springer, (2020)Safety Certification with the Open Source Microkernel-Based Operating System L4Re., , , and . SAFECOMP, volume 13414 of Lecture Notes in Computer Science, page 31-45. Springer, (2022)Less is More - A Secure Microkernel-Based Operating System., and . SysSec@DIMVA, page 103-106. IEEE, (2011)