Suyuan Chen, Ranga Vemuri. Reverse Engineering of Split Manufactured Sequential Circuits Using Satisfiability Checking. In 36th IEEE International Conference on Computer Design, ICCD 2018, Orlando, FL, USA, October 7-10, 2018. pages 530-536, IEEE, 2018. [doi]
Abstract is missing.