Extracting Protocol Format as State Machine via Controlled Static Loop Analysis.

Qingkai Shi Xiangzhe Xu Xiangyu Zhang

Published in: USENIX Security Symposium (2023)

Keyphrases

state machine
multimedia
metadata
database systems
state machines
databases
neural network
lightweight
quantitative analysis
finite state machines
formal analysis