related documents Network intrusion detection and prevention middlebox management in SDN Conferences ScalaSEM: Scalable validation of SDN design with deployable code Conferences