| Putting out the hardware dumpster fire B Fiedler, D Schwyn, C Gierczak-Galle, D Cock, T Roscoe Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 46-52, 2023 | 3 | 2023 |
| Specifying the de-facto OS of a production SoC B Fiedler, R Meier, J Schult, D Schwyn, T Roscoe Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023 | 2 | 2023 |
| Semi-open-state testing for in-silicon coherent J SchultiD, B Fiedler, D Cock, T Roscoe PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2024 | | 2024 |
| Verified fault handling for modern board management controllers B Fiedler, Z Liu, D Cock, T Roscoe International Conference on Formal Aspects of Component Software, 21-38, 2024 | | 2024 |