FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware

Yaniv David, Nimrod Partush, Eran Yahav. FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware. In Xipeng Shen, James Tuck, Ricardo Bianchini, Vivek Sarkar, editors, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018. pages 392-404, ACM, 2018. [doi]

@inproceedings{DavidPY18,
  title = {FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware},
  author = {Yaniv David and Nimrod Partush and Eran Yahav},
  year = {2018},
  doi = {10.1145/3173162.3177157},
  url = {http://doi.acm.org/10.1145/3173162.3177157},
  researchr = {https://researchr.org/publication/DavidPY18},
  cites = {0},
  citedby = {0},
  pages = {392-404},
  booktitle = {Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24-28, 2018},
  editor = {Xipeng Shen and James Tuck and Ricardo Bianchini and Vivek Sarkar},
  publisher = {ACM},
}