@inproceedings{92371,
  author = {Sharad Malik},
  title = {Detecting hardware trojans: a tale of two techniques},
  year = {2015},
  journal = {Formal Methods in Computer-Aided Design (FMCAD), 2015},
  pages = {6{\textendash}6},
  publisher = {IEEE},
  language = {eng},
}