Tool Name
AVFSM: Quantitative Measurement of the Vulnerability in FSMs to Fault Injection Attacks
CAD for
Vulnerability Factor Measurement against Fault Injection
Description
AVFSM is a framework that extracts the state transition graph (including the don’t-care states and transitions) from a gate-level netlist using a novel Automatic Test Pattern Generation (ATPG) based approach and quantifies the vulnerabilities of the design to fault injection and hardware Trojan insertion.
More Info
Publications/References
A. Nahiyan, K. Xiao, K. Yang, Y. Jin, D. Forte and M. Tehranipoor, “AVFSM: A framework for identifying and mitigating vulnerabilities in FSMs,” 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC), 2016, pp. 1-6, doi: 10.1145/2897937.2897992. https://ieeexplore.ieee.org/document/7544332
Contacts
Mark Tehranipoor | University of Florida
Domenic Forte | University of Florida
Farimah Farahmandi | University of Florida