A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.

Shuo Chen, Zbigniew Kalbarczyk, Jun Xu, Ravishankar K. Iyer

Browse the full DSN paper archive.