Autor der Publikation

VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks.

, , , , und . ICWS, Seite 71-77. IEEE, (2023)

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

Part Representation Learning with Teacher-Student Decoder for Occluded Person Re-Identification., , , und . ICASSP, Seite 2660-2664. IEEE, (2024)PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot., , , , , , , , und . CoRR, (2022)Watching You: Global-Guided Reciprocal Learning for Video-Based Person Re-Identification., , , , und . CVPR, Seite 13334-13343. Computer Vision Foundation / IEEE, (2021)Designing, Developing and Deploying an Enterprise Scale Network Monitoring System., , , , und . ISEC, Seite 18:1-18:5. ACM, (2022)Ped-Mix: Mix Pedestrians for Occluded Person Re-identification., , , und . PRCV (12), Volume 14436 von Lecture Notes in Computer Science, Seite 265-277. Springer, (2023)A Video Is Worth Three Views: Trigeminal Transformers for Video-Based Person Re-Identification., , , , , und . IEEE Trans. Intell. Transp. Syst., 25 (9): 12818-12828 (September 2024)Lark: Verified Cross-Domain Access Control for Trusted Execution Environments., , , , , und . ISSRE, Seite 160-171. IEEE, (2023)TF-CLIP: Learning Text-Free CLIP for Video-Based Person Re-identification., , , , und . AAAI, Seite 6764-6772. AAAI Press, (2024)VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks., , , , und . ICWS, Seite 71-77. IEEE, (2023)Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE., , , , , , und . Internetware, Seite 252-261. ACM, (2022)