Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents
▶Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents — a 2022 IEEE S&P 2022 Sessions security conference talk on network (18:10 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube