Building trust in 3PIP using asset-based security property verification

Juan Portillo, Eugene John, Seetharam Narasimhan. Building trust in 3PIP using asset-based security property verification. In 34th IEEE VLSI Test Symposium, VTS 2016, Las Vegas, NV, USA, April 25-27, 2016. pages 1-6, IEEE Computer Society, 2016. [doi]

@inproceedings{PortilloJN16,
  title = {Building trust in 3PIP using asset-based security property verification},
  author = {Juan Portillo and Eugene John and Seetharam Narasimhan},
  year = {2016},
  doi = {10.1109/VTS.2016.7477271},
  url = {http://doi.ieeecomputersociety.org/10.1109/VTS.2016.7477271},
  researchr = {https://researchr.org/publication/PortilloJN16},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {34th IEEE VLSI Test Symposium, VTS 2016, Las Vegas, NV, USA, April 25-27, 2016},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-8454-4},
}