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 proceedingConference contribution

32 Scopus citations

Fingerprint

Dive into the research topics of 'Verifying information flow properties of firmware using symbolic execution'. Together they form a unique fingerprint.

Engineering & Materials Science