@misc{indiciae79efef0d7a84,
  title = {FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution},
  author = {Grant Hernandez and Farhaan Fowze and Dave Tian and Tuba Yavuz and Kevin R. B. Butler},
  year = {2017},
  doi = {10.1145/3133956.3134050},
  url = {https://arxiv.org/abs/1708.09114},
  note = {Source identifier: 1708.09114}
}