1. Reto Achermann , David Cock , Roni Haecki , Nora Hossle , Lukas Humbel , Timothy Roscoe , and Daniel Schwyn . mmapx : Uniform memory protection in a heterogeneous world . In Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS '21 , page 159 -- 166 , New York, NY, USA , 2021 . Association for Computing Machinery. Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, and Daniel Schwyn. mmapx: Uniform memory protection in a heterogeneous world. In Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS '21, page 159--166, New York, NY, USA, 2021. Association for Computing Machinery.
2. Reto Achermann , Lukas Humbel , David Cock , and Timothy Roscoe . Physical Addressing on Real Hardware in Isabelle/HOL . In Proceedings of the 9th International Conference on Interactive Theorem Proving , 2018 , Held as Part of the Federated Logic Conference, FloC 2018, ITP '18, pages 1 -- 19 , 2018. Reto Achermann, Lukas Humbel, David Cock, and Timothy Roscoe. Physical Addressing on Real Hardware in Isabelle/HOL. In Proceedings of the 9th International Conference on Interactive Theorem Proving, 2018, Held as Part of the Federated Logic Conference, FloC 2018, ITP'18, pages 1--19, 2018.
3. Reto Achermann , Lukas Humbel , David A. Cock , and Timothy Roscoe . Formalizing memory accesses and interrupts . In Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017 , Uppsala, Sweden, 29th April 2017 , volume 244 of EPTCS, pages 66 -- 116 , 2017. Reto Achermann, Lukas Humbel, David A. Cock, and Timothy Roscoe. Formalizing memory accesses and interrupts. In Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017, volume 244 of EPTCS, pages 66--116, 2017.
4. Nitay Artenstein . Broadpwn : Remotely compromising Android and iOS via a bug in Broadcom's Wi-Fi chipsets . Black Hat USA , 2017 . Nitay Artenstein. Broadpwn: Remotely compromising Android and iOS via a bug in Broadcom's Wi-Fi chipsets. Black Hat USA, 2017.
5. M3