Formal Analysis of PUF Instances Leveraging Correlation-Spectra in Boolean Functions.
Durba ChatterjeeAritra HazraDebdeep MukhopadhyayPublished in: SPACE (2019)
Keyphrases
- formal analysis
- boolean functions
- randomly generated
- uniform distribution
- threshold functions
- functional properties
- read once formulas
- membership queries
- dnf formulae
- prime implicants
- relevant variables
- linear threshold
- binary decision diagrams
- formal methods
- electronic devices
- agent model
- random instances
- dnf formulas
- artificial intelligence
- disjunctive normal form