Formal verification of pipelined cryptographic circuits: A functional approach.
Abir BitatSalah MernizPublished in: Informatica (Slovenia) (2021)
Keyphrases
- formal verification
- functional verification
- model checking
- model checker
- smart card
- bounded model checking
- cryptographic protocols
- symbolic model checking
- automated verification
- high speed
- program slicing
- key management
- temporal logic
- security protocols
- circuit design
- wireless sensor networks
- analog circuits
- hash functions
- power reduction
- artificial intelligence