Lukas Humbel

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 12

Top Topics

Top Venues

Publications

Melissa Licciardello, Lukas Humbel, Fabian Rohr, Maximilian Grüner, Ankit Singla
Prepare your video for streaming with Segue. CoRR (2022)
Melissa Licciardello, Lukas Humbel, Fabian Rohr, Maximilian Grüner, Ankit Singla
[Solution] Prepare your video for streaming with Segue. J. Syst. Res. 2 (1) (2022)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
mmapx: uniform memory protection in a heterogeneous world. HotOS (2021)
Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David Cock, Michael Giardino, Timothy Roscoe
C Specification. SPIN (2021)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP (2021)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
Secure Memory Management on Modern Hardware. CoRR (2020)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
A Least-Privilege Memory Protection Model for Modern Hardware. CoRR (2019)
Roni Haecki, Lukas Humbel, Reto Achermann, David Cock, Daniel David Schwyn, Timothy Roscoe
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR (2019)
Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic
Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. 16 (1) (2019)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Physical Addressing on Real Hardware in Isabelle/HOL. ITP (2018)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Formalizing Memory Accesses and Interrupts. MARS@ETAPS (2017)
Lukas Humbel, Reto Achermann, David Cock, Timothy Roscoe
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP (2017)