Formally verified software countermeasures for control-flow integrity of smart card C code.
Karine HeydemannJean-François LalandePascal BerthoméPublished in: Comput. Secur. (2019)
Keyphrases
- control flow
- java card
- smart card
- countermeasures
- data flow
- information security
- power analysis
- software testing
- differential power analysis
- process model
- workflow management systems
- software development
- modeling language
- security issues
- formal semantics
- software systems
- artificial intelligence
- network security
- security mechanisms
- web services