Nandeesh Veeranna, Benjamin Carrión Schäfer. Hardware Trojan Detection in Behavioral Intellectual Properties (IP's) Using Property Checking Techniques. IEEE Trans. Emerging Topics Comput., 5(4):576-585, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.