Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Prepare your video for streaming with Segue., , , , and . CoRR, (2022)Solution Prepare your video for streaming with Segue., , , , and . J. Syst. Res., (March 2022)mmapx: uniform memory protection in a heterogeneous world., , , , , , and . HotOS, page 159-166. ACM, (2021)CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer., , , , , and . CoRR, (2019)Secure Memory Management on Modern Hardware., , , , , and . CoRR, (2020)A Least-Privilege Memory Protection Model for Modern Hardware., , , , , and . CoRR, (2019)Generating correct initial page tables from formal hardware descriptions., , , , , , and . PLOS@SOSP, page 69-75. ACM, (2021)Modern hardware abstractions for firmware.. ETH Zurich, Zürich, Switzerland, (2022)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/539181).A Model-Checked I2C Specification., , , , , , , , and . SPIN, volume 12864 of Lecture Notes in Computer Science, page 177-193. Springer, (2021)Memory-Side Protection With a Capability Enforcement Co-Processor., , , , , , , , , and . ACM Trans. Archit. Code Optim., 16 (1): 5:1-5:26 (2019)