Formal Verification of a Microkernel Used in Dependable Software Systems. - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SAFECOMP, 2009)

Proving Memory Separation in a Microkernel by Code Level Verification. - Christoph Baumann; Thorsten Bormer; Holger Blasum; Sergey Tverdyshev (ISORC Workshops, 2011)

MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures. - Kevin Mueller; Michael Paulitsch; Sergey Tverdyshev; Holger Blasum (DSN Workshops, 2012)

Lessons Learned From Microkernel Verification – Specification is the New Bottleneck - Christoph Baumann; Bernhard Beckert; Holger Blasum; Thorsten Bormer (SSV, 2012)

On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. - Adrian Garcia Ramirez; Julien Schmaltz; Freek Verbeek; Bruno Langenstein; Holger Blasum (SAFECOMP, 2014)

Formal Specification of a Generic Separation Kernel. - Freek Verbeek; Sergey Tverdyshev; Oto Havle; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Yakoub Nemouchi; Abderrahmane Feliachi; Burkhart Wolff; Julien Schmaltz (Arch. Formal Proofs, 2014)

Security Architecture and Specification Framework for Safe and Secure Industrial Automation. - Sergey Tverdyshev; Holger Blasum; Ekaterina Rudina; Dmitry Kulagin; Pavel Dyakin; Stanislav Moiseev (CRITIS, 2015)

Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms. - Holger Blasum (MILS@HiPEAC, 2015)

Formal API Specification of the PikeOS Separation Kernel. - Freek Verbeek; Oto Havle; Julien Schmaltz; Sergey Tverdyshev; Holger Blasum; Bruno Langenstein; Werner Stephan 001; Burkhart Wolff; Yakoub Nemouchi (NFM, 2015)

Ease Standard Compliance by Technical Means via MILS. - Sven Nordhoff; Holger Blasum (MILS, 2017)

Classic and Adaptive AUTOSAR in MILS terms. - Holger Blasum; Sergey Tverdyshev (MILS@DSN, 2018)

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS. - Andreas Hohenegger; Gerald Krummeck; Janie Baños; Álvaro Ortega; Michal Hager; Jiri Sterba; Tomas Kertis; Petr Novobilsky; Jan Procházka; Benito Caracuel; Ana Lourdes Sanz; Francisco Ramos 003; et al. (ICPS, 2021)

Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. - Andreas Hohenegger; Gerald Krummeck; Janie Baños; Álvaro Ortega; Michal Hager; Jiri Sterba; Tomas Kertis; Petr Novobilsky; Jan Procházka; Benito Caracuel; Ana Lourdes Sanz; Francisco Ramos 003; et al. (IECON, 2021)