Title Is Register Transfer Level Locking Secure? -and- Satisfiability Module Theory (SMT) Attack Tool Demo Presenter Chandan Karfa, Avesta Sasan, Hadi Mardani Kamali Date 12 March 2021 Video