Verifying information flow properties of firmware using symbolic execution
- Pramod Subramanyan
- , Sharad Malik
- , Hareesh Khattri
- , Abhranil Maiti
- , Jason Fung
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
42
Link opens in a new tab
Scopus
citations