Non-Interfering Composed Evaluation. - Igor Furgel; Viola Saftig; Tobias Wagner; Kevin Müller; Reinhard Schwarz; Axel Söding-Freiherr von Blomberg (MILS@HiPEAC, 2016)

MILS Complete Separation Platform Protection Profile. - Igor Furgel; Viola Saftig (MILS, 2017)