USENIX Security '23 - Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning

Name: USENIX Security '23 - Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning
Duration: 11 min 45 s
Description: USENIX Security '23 - Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning — a USENIX security conference talk on wireless-rf (11:45 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 11:45

▶

USENIX Security '23 - Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning — a USENIX security conference talk on wireless-rf (11:45 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

wireless-rf

← Back to the Breach Arc Archive