Formal Verification of Arithmetic Masking in Hardware and Software.
Barbara GigerlRobert PrimasStefan MangardPublished in: ACNS (1) (2023)
Keyphrases
- hardware and software
- formal verification
- model checking
- low cost
- computer systems
- bounded model checking
- human visual system
- model checker
- automated verification
- hardware software
- symbolic model checking
- program slicing
- temporal logic
- floating point
- databases
- image quality
- smart card
- energy consumption
- computer professionals
- hardware software co design