Exploiting the critical infrastructure via nontraditional system inputs. - Lucille McMinn; Jonathan Butts; David Robinson; Billy Rios (CSIIRW, 2011)

A Firmware Verification Tool for Programmable Logic Controllers. - Lucille McMinn; Jonathan Butts (Critical Infrastructure Protection, 2012)