VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.
Ivan De Oliveira NunesKarim EldefrawyNorrathep RattanavipanonMichael SteinerGene TsudikPublished in: USENIX Security Symposium (2019)
Keyphrases
- hardware software co design
- remote attestation
- hardware and software
- embedded systems
- hw sw
- virtual machine
- computing platform
- trusted computing
- cloud computing
- field programmable gate array
- security protocols
- low cost
- software systems
- hardware software
- computing resources
- security mechanisms
- distributed computing
- data center
- distributed systems
- open source