Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning.

Guoqiang Shu, Yating Hsu, David Lee

Browse the full FORTE paper archive.