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

From visual to logical formalisms for SoC validation. - Ranan Fraer; Doron Keren; Zurab Khasidashvili; Alexander Novakovsky; Avi Puder; Eli Singerman; Eran Talmor; Moshe Y. Vardi; Jin Yang 006 (MEMOCODE, 2014)