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

Remote attestation of SEV-SNP confidential VMs using e-vTPMs., , , , , , , , , and . CoRR, (2023)The Opportunities and Limitations of Extended Page Table Switching for Fine-Grained Isolation., and . IEEE Secur. Priv., 21 (3): 16-26 (May 2023)LXDs: Towards Isolation of Kernel Subsystems., , , , , , , , , and 1 other author(s). USENIX Annual Technical Conference, page 269-284. USENIX Association, (2019)Remote attestation of confidential VMs using ephemeral vTPMs., , , , , , , , , and . ACSAC, page 732-743. ACM, (2023)DRAMHiT: A Hash Table Architected for the Speed of DRAM., , , and . EuroSys, page 817-834. ACM, (2023)Lightweight kernel isolation with virtualization and VM functions., , , , and . VEE, page 157-171. ACM, (2020)Understanding the Overheads of Hardware and Language-Based IPC Mechanisms., , , and . PLOS@SOSP, page 53-61. ACM, (2021)Extending Rust with Support for Zero Copy Communication., , , , , and . PLOS@SOSP, page 74-82. ACM, (2023)RedLeaf: Towards An Operating System for Safe and Verified Firmware., , , , and . HotOS, page 37-44. ACM, (2019)Atmosphere: Towards Practical Verified Kernels in Rust., , , , and . KISV@SOSP, page 9-17. ACM, (2023)