Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware.
BitBlaze: A new approach to computer security via binary analysis