( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Secure and Formally Verified Linux KVM Hypervisor.

, , , , и . SP, стр. 1782-1799. IEEE, (2021)

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.

Li Li

Li Li

Li Li

Li Li

Li Li

 

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

Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor., , , , и . USENIX Security Symposium, стр. 3953-3970. USENIX Association, (2021)Wearable Smart Band for American Sign Language Recognition with Polymer Carbon Nanocomposite-based Pressure Sensors, , , , , , и . IEEE Sensors Letters, 5 (6): 6001204 (2021)Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor., , , , , , , , , и 5 other автор(ы). ASPLOS (2), стр. 1218-1232. ACM, (2024)Design and Verification of the Arm Confidential Compute Architecture., , , , , , и . OSDI, стр. 465-484. USENIX Association, (2022)A Secure and Formally Verified Linux KVM Hypervisor., , , , и . SP, стр. 1782-1799. IEEE, (2021)Sys-TM: A Fast and General Topic Modeling System., , , , и . IEEE Trans. Knowl. Data Eng., 33 (6): 2790-2802 (2021)Giallar: push-button verification for the qiskit Quantum compiler., , , , , , , и . PLDI, стр. 641-656. ACM, (2022)Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware., , , , , и . SOSP, стр. 866-881. ACM, (2021)Spoq: Scaling Machine-Checkable Systems Verification in Coq., , , , и . OSDI, стр. 851-869. USENIX Association, (2023)