An efficient algorithm for identifying security relevant logic and vulnerabilities in RTL designs. - David W. Palmer; Parbati Kumar Manna (HOST, 2013)