Michal Podhradsky

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 2

Top Topics

Vehicle Detection

Requirements Specification

Software Systems

Computing Power

Top Venues

Publications

Hesham Almatary, Michael Dodson, Jessica Clarke, Peter Rugg, Ivan Gomes, Michal Podhradsky, Peter G. Neumann, Simon W. Moore, Robert N. M. Watson
CompartOS: CHERI Compartmentalization for Embedded Systems. CoRR (2022)
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
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51 (11) (2018)