Fingerprint
Dive into the research topics of 'Verifying information flow properties of firmware using symbolic execution'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
38
Scopus
citations