Automated Attack Discovery in TCP Congestion Control Using a Model-guided Approach
NDSS, pp. 952018.
In this work, we propose an automated method to find attacks against TCP congestion control implementations that combines the generality of implementation-agnostic fuzzing with the precision of runtime analysis. It uses a model-guided approach to generate abstract attack strategies by leveraging a state machine model of congestion control...More
Full Text (Upload PDF)
PPT (Upload PPT)