A Formal Approach to Constructing Secure Air Vehicle Software. - Darren D. Cofer; Andrew Gacek; John Backes; Michael W. Whalen; Lee Pike; Adam Foltzer; Michal Podhradsky; Gerwin Klein; Ihor Kuz; June Andronick; Gernot Heiser; Douglas Stuart (Computer, 2018)

CompartOS: CHERI Compartmentalization for Embedded Systems. - Hesham Almatary; Michael Dodson; Jessica Clarke 001; Peter Rugg; Ivan Gomes; Michal Podhradsky; Peter G. Neumann; Simon W. Moore; Robert N. M. Watson (CoRR, 2022)