FloodGuard: A DoS Attack Prevention Extension in Software-Defined Networks
VeriCon: towards verifying controller programs in software-defined networks