Mitigating Control Flow Attacks in Embedded Systems with Novel Built-in Secure Register Bank.
Sean KramerZhiming ZhangJaya DofeQiaoyan YuPublished in: ACM Great Lakes Symposium on VLSI (2017)
Keyphrases
- embedded systems
- control flow
- data flow
- low cost
- security protocols
- security mechanisms
- computing power
- resource limited
- embedded devices
- embedded software
- software systems
- software testing
- process model
- embedded real time systems
- security issues
- real time systems
- field programmable gate array
- hw sw
- formal semantics
- workflow management systems
- modeling language
- security requirements
- databases
- database
- flash memory
- smart card