Hardware Security Leak Detection by Symbolic Simulation. - Neta Bar Kama; Roope Kaivola (FMCAD, 2021)

Timed Causal Fanin Analysis for Symbolic Circuit Simulation. - Roope Kaivola; Neta Bar Kama (FMCAD, 2022)