Pramod Subramanyan, Sharad Malik, Hareesh Khattri, Abhranil Maiti, Jason Fung. Verifying information flow properties of firmware using symbolic execution. In Luca Fanucci, Jürgen Teich, editors, 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016. pages 337-342, IEEE, 2016. [doi]
@inproceedings{SubramanyanMKMF16, title = {Verifying information flow properties of firmware using symbolic execution}, author = {Pramod Subramanyan and Sharad Malik and Hareesh Khattri and Abhranil Maiti and Jason Fung}, year = {2016}, url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=7459333}, researchr = {https://researchr.org/publication/SubramanyanMKMF16}, cites = {0}, citedby = {0}, pages = {337-342}, booktitle = {2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016, Dresden, Germany, March 14-18, 2016}, editor = {Luca Fanucci and Jürgen Teich}, publisher = {IEEE}, isbn = {978-3-9815-3707-9}, }