FMCAD2021: Hardware Security Leak Detection by Symbolic Simulation [video] | Hacker News Reader