Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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