A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.
Ivan De Oliveira NunesKarim EldefrawyNorrathep RattanavipanonGene TsudikPublished in: CoRR (2019)
Keyphrases
- network infrastructure
- software architecture
- data flow
- software systems
- software development
- control flow
- trade off
- real time
- software platform
- component based architecture
- industry standard
- hardware design
- computer systems
- software implementation
- program execution
- mobile devices
- enterprise systems
- heterogeneous systems
- network services
- execution model
- execution environment
- java virtual machine
- hardware platforms
- multi tasking
- industrial strength
- highly modular