From post

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.

 

Другие публикации лиц с тем же именем

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