Verifying information flow properties of firmware using symbolic execution

Author

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

Publication Year

2016

Type

Conference Paper

Conference Name

Proceedings of the 2016 Conference on Design, Automation & Test in Europe

Publisher

EDA Consortium