Verifying information flow properties of firmware using symbolic execution

Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason Fung. Verifying information flow properties of firmware using symbolic execution. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 337-342, IEEE, 2016. [doi]

Abstract

Abstract is missing.