Hardware Security Leak Detection by Symbolic Simulation.

Neta Bar Kama, Roope Kaivola

Browse the full FMCAD paper archive.