In this work, we present a method that leverages a formal black-box method to unearth deviations of protocol implementations in closed-source network devices with no need to access the binary or source code of the device. Our method finds such deviations in a fully automatic manner while leveraging a model-based testing approach. We applied the method to several routers to check their routing protocols’ implementations (specifically OSPF) using the tool we found logical vulnerabilities in routers by Cisco and Quagga.
By Gabi Nakibly
Full Abstract: https://www.blackhat.com/us-17/briefings/schedule/#automated-detection-of-vulnerabilities-in-black-box-routers-and-other-network-devices-6844