Formal Analysis of Vulnerabilities in Mixed-Reality Systems.

Timothy E. Wang, Isaac Amundson, Junaid Babar, Peggy Wu

Browse the full SMC paper archive.