Lukas Humbel

According to our database, Lukas Humbel authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Flexible Swapping for the Cloud.

Milan Pandurov, Lukas Humbel, Dmitry Sepp, Adamos Ttofari, Leon Thomm, Do Le Quoc, Siddharth Chandrasekaran, Sharan Santhanam, Chuan Ye, Shai Bergman, Wei Wang, Sven Lundgren, Konstantinos Sagonas, Alberto Ros

CoRR, 2024

2022

[Solution] Prepare your video for streaming with Segue.

Melissa Licciardello, Lukas Humbel, Fabian Rohr, Maximilian Grüner, Ankit Singla

J. Syst. Res., March, 2022

Modern hardware abstractions for firmware.

Lukas Humbel

PhD thesis, 2022

Prepare your video for streaming with Segue.

Melissa Licciardello, Lukas Humbel, Fabian Rohr, Maximilian Grüner, Ankit Singla

CoRR, 2022

2021

A Model-Checked I²C Specification.

Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe

Proceedings of the Model Checking Software - 27th International Symposium, 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

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

mmapx: uniform memory protection in a heterogeneous world.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Secure Memory Management on Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2020

2019

Memory-Side Protection With a Capability Enforcement Co-Processor.

Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic

ACM Trans. Archit. Code Optim., 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 Least-Privilege Memory Protection Model for Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2019

2018

Physical Addressing on Real Hardware in Isabelle/HOL.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Formalizing Memory Accesses and Interrupts.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Towards Correct-by-Construction Interrupt Routing on Real Hardware.

Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017