FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security | IEEE Conference Publication | IEEE Xplore