1. [n. d.]. https://www.arm.com/products/silicon-ip-security.
2. [n. d.]. Bare Metal Programming on Raspberry Pi 3. https://github.com/bztsrc/ raspi3-tutorial.
3. [n. d.]. Firefly AIO-3399J. https://en.t-firefly.com/product/industry/aio_3399.
4. 2004. TrueCrypt: Free open-source disk encryption software. https:// www.truecrypt.org
5. 2023. OP-TEE Trusted Applications. https://optee.readthedocs.io/en/latest/ architecture/trusted_applications.html. Accessed: 2023--12--28.