Modeling Static Noise Margin for FinFET based SRAM PUFs