C-FLAT: Control-FLow ATtestation for Embedded Systems Software.
Tigist AberaN. AsokanLucas DaviJan-Erik EkbergThomas NymanAndrew PaverdAhmad-Reza SadeghiGene TsudikPublished in: CoRR (2016)
Keyphrases
- embedded systems
- control flow
- data flow
- software testing
- software systems
- low cost
- embedded software
- computing platform
- embedded devices
- computing power
- hardware software
- real time systems
- safety critical
- embedded real time systems
- process model
- resource limited
- workflow management systems
- field programmable gate array
- communication technologies
- hw sw
- reactive systems
- user interface
- protocol stack
- databases
- test cases
- computer systems
- artificial intelligence