USENIX Security '23 - Extracting Protocol Format As State Machine Via Controlled Static Loop Analysis

Authors/Presenters:Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang

Many thanks to USENIX for publishing their outstanding USENIX Security ’23 Presenter’s content, and the organizations strong commitment to Open Access. Originating from the conference’s events situated at the Anaheim Marriott; and via the organizations YouTube channel.