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 Method for Autonomous Generation of High-Precision Time Scales for Navigation Constellations., , , , , , , and . Sensors, 23 (3): 1703 (February 2023)Wearable Smart Band for American Sign Language Recognition with Polymer Carbon Nanocomposite-based Pressure Sensors, , , , , , and . IEEE Sensors Letters, 5 (6): 6001204 (2021)Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor., , , , , , , , , and 5 other author(s). ASPLOS (2), page 1218-1232. ACM, (2024)Contract-based verification of a realistic quantum compiler., , , , , , and . CoRR, (2019)Spoq: Scaling Machine-Checkable Systems Verification in Coq., , , , and . OSDI, page 851-869. USENIX Association, (2023)Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware., , , , , and . SOSP, page 866-881. ACM, (2021)Design and Verification of the Arm Confidential Compute Architecture., , , , , , and . OSDI, page 465-484. USENIX Association, (2022)A Secure and Formally Verified Linux KVM Hypervisor., , , , and . SP, page 1782-1799. IEEE, (2021)Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor., , , , and . USENIX Security Symposium, page 3953-3970. USENIX Association, (2021)Sys-TM: A Fast and General Topic Modeling System., , , , and . IEEE Trans. Knowl. Data Eng., 33 (6): 2790-2802 (2021)