RT DF A1 Taylor, Christopher. T1 A Security Framework for Logic Locking through Local and Global Structural Analysis