FSMx: Finite State Machine Extraction from Flattened Netlist With Application to Security.

Rasheed Kibria, Nusrat Farzana, Farimah Farahmandi, Mark Tehranipoor

Browse the full VTS paper archive.