Towards Firmware Analysis of Industrial Internet of Things (IIoT) - Applying Symbolic Analysis to IIoT Firmware Vetting. - Geancarlo Palavicini Jr.; Josiah Bryan; Eaven Sheets; Megan Kline; John San Miguel (IoTBDS, 2017)