Software Countermeasures for Control Flow Integrity of Smart Card C Codes.
Jean-François LalandeKarine HeydemannPascal BerthoméPublished in: ESORICS (2) (2014)
Keyphrases
- control flow
- java card
- smart card
- countermeasures
- information security
- data flow
- power analysis
- software testing
- differential power analysis
- process model
- modeling language
- workflow management systems
- software systems
- databases
- software development
- information technology
- operating system
- formal semantics
- artificial intelligence
- database