The B-Side of Side Channel Leakage: Control Flow Security in Embedded Systems.
Mehari MsgnaKonstantinos MarkantonakisKeith MayesPublished in: SecureComm (2013)
Keyphrases
- embedded systems
- control flow
- data flow
- low cost
- software testing
- embedded devices
- embedded software
- computing power
- information security
- real time systems
- software systems
- resource limited
- protocol stack
- cyber physical systems
- process model
- access control
- hw sw
- field programmable gate array
- countermeasures
- embedded real time systems
- security policies
- intrusion detection
- formal semantics
- modeling language
- real world
- cyber security
- smart card
- workflow management systems
- network security
- database systems
- case study
- artificial intelligence