Formal Verification of Arithmetic Masking in Hardware and Software.
Barbara GigerlRobert PrimasStefan MangardPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- hardware and software
- formal verification
- model checking
- low cost
- computer systems
- bounded model checking
- model checker
- automated verification
- hardware software
- program slicing
- human visual system
- symbolic model checking
- floating point
- programmable logic controller
- hardware software co design
- data mining
- temporal logic
- linear temporal logic
- computing systems
- motion estimation
- control system