Subramanyan, Pramod, Sharad Malik, Hareesh Khattri, Abhranil Maiti, and Jason Fung. 2016. “Verifying Information Flow Properties of Firmware Using Symbolic Execution”. In Proceedings of the 2016 Conference on Design, Automation & Test in Europe, 337–342. EDA Consortium.