Verifying information flow properties of firmware using symbolic execution.

Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason M. Fung

Browse the full DATE paper archive.