David W. Palmer, Parbati Kumar Manna. An efficient algorithm for identifying security relevant logic and vulnerabilities in RTL designs. In 2013 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2013, Austin, TX, USA, June 2-3, 2013. pages 61-66, IEEE, 2013. [doi]
Abstract is missing.