Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu. Formal Analysis of Vulnerabilities in Mixed-Reality Systems. In IEEE International Conference on Systems, Man, and Cybernetics, SMC 2025, Vienna, Austria, October 5-8, 2025. pages 4322-4325, IEEE, 2025. [doi]
Abstract is missing.