Verifying components of Arm(R) Confidential Computing Architecture with ESBMC.
Tong WuShale XiongEdoardo ManinoGareth StockwellLucas C. CordeiroPublished in: CoRR (2024)
Keyphrases
- software architecture
- building blocks
- real time
- management system
- databases
- software components
- reference model
- data mining
- artificial intelligence
- website
- case study
- neural network
- database
- network architecture
- sensitive information
- numerical data
- design considerations
- distributed architecture
- architectural design
- robotic arm