From sound to sight: Using audio processing to enable visible light communication. - Stefan Schmid 001; Daniel David Schwyn; Kaan Aksit; Giorgio Corbellini; Thomas R. Gross; Stefan Mangold (GLOBECOM Workshops, 2014)

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)

CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. - Roni Haecki; Lukas Humbel; Reto Achermann; David A. Cock; Daniel David Schwyn; Timothy Roscoe (CoRR, 2019)

A Digital Companion for Air Travelers. - Kimberly García; Daniel David Schwyn; Florian Michahelles (MobileHCI (Extended Abstracts), 2020)

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)

2QoSM: A Q-Learner QoS Manager for Application-Guided Power-Aware Systems. - Michael J. Giardino; Daniel Schwyn; Bonnie H. Ferri; Aldo A. Ferri (MCSoC, 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)

Declarative Power Sequencing. - Jasmin Schult; Daniel David Schwyn; Michael Giardino; David A. Cock; Reto Achermann; Timothy Roscoe (ACM Trans. Embed. Comput. Syst., 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)

Putting out the hardware dumpster fire. - Ben Fiedler; Daniel Schwyn; Constantin Gierczak-Galle; David A. Cock; Timothy Roscoe (HotOS, 2023)

Specifying the de-facto OS of a production SoC. - Ben Fiedler; Roman Meier; Jasmin Schult; Daniel Schwyn; Timothy Roscoe (KISV@SOSP, 2023)

Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices. - Daniel Schwyn; Zikai Liu; Timothy Roscoe (EuroSys, 2025)