A TOCTOU (time-of-check to time-of-use) vulnerability exists where an attacker may use a compromised BIOS to cause the TEE OS to read memory out of bounds that could potentially result in a denial of service.
https://www.amd.com/en/corporate/product-security/bulletin/AMD-SB-1031