Remote Attestation of Bare-Metal Microprocessor Software: A Formally Verified Security Monitor.
Jonathan CertesBenoît MorganPublished in: DEXA Workshops (2021)
Keyphrases
- remote attestation
- computing platform
- embedded systems
- trusted computing
- cloud computing
- security protocols
- virtual machine
- computing systems
- trusted platform module
- parallel computing
- real time
- development environment
- security issues
- distributed computing
- information security
- software architecture
- software systems
- low cost
- user interface
- security mechanisms
- anomaly detection
- access control
- software development
- software engineering
- web services
- intrusion detection