LO-FAT: Low-Overhead Control Flow ATtestation in Hardware.
Ghada DessoukyShaza ZeitouniThomas NymanAndrew PaverdLucas DaviPatrick KoeberlN. AsokanAhmad-Reza SadeghiPublished in: DAC (2017)
Keyphrases
- control flow
- low overhead
- data flow
- trusted computing
- high reliability
- low cost
- computing platform
- memory hierarchy
- load balancing
- software testing
- process model
- real time
- learning objects
- communication cost
- shared memory
- energy efficient
- workflow management systems
- computing systems
- embedded systems
- computing power
- computing environments
- formal semantics
- computer systems
- scheduling algorithm
- cloud computing
- wireless sensor networks
- artificial intelligence