Formally Verified Hardware/Software Co-Design for Remote Attestation.
Karim EldefrawyIvan Oliveira NunesNorrathep RattanavipanonMichael SteinerGene TsudikPublished in: CoRR (2018)
Keyphrases
- hardware software co design
- remote attestation
- embedded systems
- hardware and software
- hw sw
- virtual machine
- field programmable gate array
- cloud computing
- computing platform
- security protocols
- trusted computing
- low cost
- grid systems
- data center
- computing systems
- data management
- real time
- hardware implementation
- computer systems