Formal analysis of PUF instances leveraging correlation-spectra in Boolean functions

From MaRDI portal
Publication:6535921