A Least-Privilege Memory Protection Model for Modern Hardware. - Reto Achermann; Nora Hossle; Lukas Humbel; Daniel David Schwyn; David A. Cock; Timothy Roscoe (CoRR, 2019)

Secure Memory Management on Modern Hardware. - Reto Achermann; Nora Hossle; Lukas Humbel; Daniel David Schwyn; David A. Cock; Timothy Roscoe (CoRR, 2020)

mmapx: uniform memory protection in a heterogeneous world. - Reto Achermann; David A. Cock; Roni Haecki; Nora Hossle; Lukas Humbel; Timothy Roscoe; Daniel David Schwyn (HotOS, 2021)

Generating correct initial page tables from formal hardware descriptions. - Reto Achermann; David A. Cock; Roni Haecki; Nora Hossle; Lukas Humbel; Timothy Roscoe; Daniel David Schwyn (PLOS@SOSP, 2021)

A Model-Checked I2C Specification. - Lukas Humbel; Daniel David Schwyn; Nora Hossle; Roni Haecki; Melissa Licciardello; Jan Schaer; David A. Cock; Michael Giardino; Timothy Roscoe (SPIN, 2021)

Enzian: an open, general, CPU/FPGA platform for systems software research. - David A. Cock; Abishek Ramdas; Daniel Schwyn; Michael Giardino; Adam Turowski; Zhenhao He; Nora Hossle; Dario Korolija; Melissa Licciardello; Kristina Martsenko; Reto Achermann; Gustavo Alonso; et al. (ASPLOS, 2022)

High Throughput Hardware Accelerated CoreSight Trace Decoding. - Matthew Edwin Weingarten; Nora Hossle; Timothy Roscoe (DATE, 2024)