1. The existence of refinement mappings
2. Amazon Inc. . Last viewed June 2022 . AWS CBMC viewer. https://github.com/model-checking/cbmc-viewer Amazon Inc.. Last viewed June 2022. AWS CBMC viewer. https://github.com/model-checking/cbmc-viewer
3. Arm Ltd.. 2008. ARM Security Technology. Building a Secure System using TrustZone Technology. https://documentation-service.arm.com/static/5f212796500e883ab8e74531 Arm Ltd.. 2008. ARM Security Technology. Building a Secure System using TrustZone Technology. https://documentation-service.arm.com/static/5f212796500e883ab8e74531
4. Arm Ltd.. 2021. Arm Confidential Compute Architecture. https://www.arm.com/architecture/security-features/arm-confidential-compute-architecture Arm Ltd.. 2021. Arm Confidential Compute Architecture. https://www.arm.com/architecture/security-features/arm-confidential-compute-architecture
5. Arm Ltd .. 2022. Realm Management Monitor beta0 specification. https://developer.arm.com/documentation/den0137/a/ Accessed 25^ th October 2022 , final version to be published 2022 Arm Ltd.. 2022. Realm Management Monitor beta0 specification. https://developer.arm.com/documentation/den0137/a/ Accessed 25^ th October 2022, final version to be published 2022