Towards formal verification of cryptographic circuits: A functional approach.
Abir BitatSalah MernizPublished in: PAIS (2018)
Keyphrases
- formal verification
- functional verification
- model checking
- bounded model checking
- model checker
- symbolic model checking
- cryptographic protocols
- automated verification
- delay insensitive
- smart card
- program slicing
- key management
- security protocols
- hash functions
- high speed
- digital circuits
- analog vlsi
- logic synthesis
- quantum computing
- web services
- orders of magnitude
- programming language
- multi agent systems