@misc{indiciae083c8759e78d,
  title = {Hardware Trojan Detection through Information Flow Security Verification},
  author = {Adib Nahiyan and Mehdi Sadi and Rahul Vittal and Gustavo Contreras and Domenic Forte and Mark Tehranipoor},
  year = {2018},
  doi = {10.1109/test.2017.8242062},
  url = {https://arxiv.org/abs/1803.04102},
  note = {Source identifier: 1803.04102}
}