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

A Pre-Bootstrapping Method for Use in Gate Driver Circuits to Improve the Scan Pulse Delay of High-Resolution TFT-LCD Systems., , , , , , and . IEEE Trans. Ind. Electron., 67 (8): 7015-7024 (2020)Optimizing the Design and Implementation of the Linux ARM Hypervisor., , and . USENIX ATC, page 221-233. USENIX Association, (2017)Designing and Implementing Live Migration Support for Arm-based Confidential VMs., , , and . APSys, page 53-59. ACM, (2024)NEVE: Nested Virtualization Extensions for ARM., , , , and . SOSP, page 201-217. ACM, (2017)Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor., , , , and . USENIX Security Symposium, page 3953-3970. USENIX Association, (2021)A flexible and scalable IP paging protocol., , , and . GLOBECOM, page 630-635. IEEE, (2002)Measuring and Optimizing the Performance of the Android Virtualization Framework., , , and . SAC, page 1533-1535. ACM, (2024)A Secure and Formally Verified Linux KVM Hypervisor., , , , and . SP, page 1782-1799. IEEE, (2021)Reducing Leakage Current Using LTPS-TFT Pixel Circuit in AMOLED Smartwatch Displays., , , , , and . IEEE Trans. Ind. Electron., 70 (8): 8588-8597 (August 2023)A Secure and Formally Verified Commodity Multiprocessor Hypervisor.. Columbia University, USA, (2021)