RERTL: Finite State Transducer Logic Recovery at Register Transfer Level. - Jason Portillo; Travis Meade; John Hacker; Shaojie Zhang 001; Yier Jin (AsianHOST, 2019)

NETA: when IP fails, secrets leak. - Travis Meade; Jason Portillo; Shaojie Zhang 001; Yier Jin (ASP-DAC, 2019)