APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.
Ivan De Oliveira NunesKarim EldefrawyNorrathep RattanavipanonGene TsudikPublished in: USENIX Security Symposium (2020)
Keyphrases
- software architecture
- data flow
- multi tasking
- software platform
- hardware design
- component based architecture
- control flow
- industry standard
- network services
- software development
- configuration management
- execution environment
- real time
- heterogeneous systems
- software implementation
- enterprise systems
- embedded systems
- personal computer
- cross platform
- computing platform
- management system
- reconfigurable hardware
- dedicated hardware
- software systems
- execution model
- hardware platforms
- computer systems
- intelligent software
- computer software
- hardware software
- code generation
- mobile devices
- low cost
- software components
- high end
- reactive planning
- ubiquitous environment
- source code
- mobile applications
- operating system
- trade off
- control center
- execution engine
- workflow engine
- virtual machine
- communication technologies
- software testing
- testing process
- platform independent