TY  - RPRT
TI  - Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
AU  - Tong Wu
AU  - Shale Xiong
AU  - Edoardo Manino
AU  - Gareth Stockwell
AU  - Lucas C. Cordeiro
PY  - 2024
UR  - https://arxiv.org/abs/2406.04375
ID  - 2406.04375
ER  -