NDSS 2023 - Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

Name: NDSS 2023 - Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
Uploaded: 2023-01-01
Duration: 19 min 22 s
Description: NDSS 2023 - Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations — a 2023 NDSS Symposium security conference talk on blue-team, network (19:22 min). Watch the full video, indexed free on the Breach Arc Archive.

NDSS Symposium · 2023 · 19:22

▶

NDSS 2023 - Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations — a 2023 NDSS Symposium security conference talk on blue-team, network (19:22 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

blue-team network

← Back to the Breach Arc Archive