My research interests are in the testing and analysis of embedded devices, including protocols, software, and systems.