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

Security of SoC firmware load protocols. - Sava Krstic; Jin Yang 006; David W. Palmer; Randy B. Osborne; Eran Talmor (HOST, 2014)