@inproceedings{92411,
  author = {Pramod Subramanyan and Sharad Malik and Hareesh Khattri and Abhranil Maiti and Jason Fung},
  title = {Verifying information flow properties of firmware using symbolic execution},
  year = {2016},
  journal = {Proceedings of the 2016 Conference on Design, Automation \& Test in Europe},
  pages = {337{\textendash}342},
  publisher = {EDA Consortium},
  language = {eng},
}