Formal verification of cryptographic circuits: A semi-automatic functional approach.
Abir BitatSalah MernizPublished in: NISS (2019)
Keyphrases
- semi automatic
- formal verification
- functional verification
- model checking
- fully automatic
- gold standard
- automated verification
- model checker
- bounded model checking
- symbolic model checking
- semi automatically
- smart card
- wrapper generation
- ontology mapping
- labor intensive
- domain ontology
- semantic annotation
- program slicing
- temporal logic
- web pages
- automatic extraction
- ontology development
- design rationale
- web documents
- domain specific