Automated Reasoning of Security and Privacy of Cellular Networks
▶Automated Reasoning of Security and Privacy of Cellular Networks — a 2020 CERIAS - 2020 security conference talk on privacy (54:11 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube