Practicality of Using Side-Channel Analysis for Software Integrity Checking of Embedded Systems.
Hong LiuHongmin LiEugene Y. VassermanPublished in: SecureComm (2015)
Keyphrases
- embedded systems
- integrity checking
- integrity constraints
- software systems
- real time systems
- embedded software
- low cost
- hardware software
- computing power
- embedded devices
- deductive databases
- resource limited
- safety critical
- embedded real time systems
- constraint logic programming
- consumer electronics
- hard and soft constraints
- field programmable gate array
- software development
- hw sw
- protocol stack
- communication technologies
- flash memory
- software architecture
- source code
- database
- query answering
- test cases
- database management systems
- cooperative
- database systems
- machine learning
- real time