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

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot., , , , , , , , and . CoRR, (2022)Watching You: Global-Guided Reciprocal Learning for Video-Based Person Re-Identification., , , , and . CVPR, page 13334-13343. Computer Vision Foundation / IEEE, (2021)Designing, Developing and Deploying an Enterprise Scale Network Monitoring System., , , , and . ISEC, page 18:1-18:5. ACM, (2022)Ped-Mix: Mix Pedestrians for Occluded Person Re-identification., , , and . PRCV (12), volume 14436 of Lecture Notes in Computer Science, page 265-277. Springer, (2023)TF-CLIP: Learning Text-Free CLIP for Video-Based Person Re-identification., , , , and . AAAI, page 6764-6772. AAAI Press, (2024)Lark: Verified Cross-Domain Access Control for Trusted Execution Environments., , , , , and . ISSRE, page 160-171. IEEE, (2023)VeriReach: A Formally Verified Algorithm for Reachability Analysis in Virtual Private Cloud Networks., , , , and . ICWS, page 71-77. IEEE, (2023)Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE., , , , , , and . Internetware, page 252-261. ACM, (2022)Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks., , , , , , , and . Proc. ACM Program. Lang., 8 (OOPSLA1): 500-528 (2024)Bright: an augmented reality assistive platform for visual impairment., , , , and . GEM, page 1-4. IEEE, (2019)