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}, }