Formal verification of side-channel countermeasures using self-composition.
José Bacelar AlmeidaManuel BarbosaJorge Sousa PintoBárbara VieiraPublished in: Sci. Comput. Program. (2013)
Keyphrases
- countermeasures
- formal verification
- model checking
- information security
- power analysis
- bounded model checking
- model checker
- automated verification
- rural areas
- symbolic model checking
- security measures
- web service composition
- java card
- cyber attacks
- artificial intelligence
- program slicing
- database
- security issues
- information technology
- databases