USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems
▶USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems — a USENIX security conference talk on privacy, mobile (11:32 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube