[kata-dev] Testing Kata Security Promises

Hi all, Are there any tools or tests available that aim to validate the security promises of the Kata architecture? I've looked in the testing repo, but that seems to contain mostly functional tests. I'm interested in something that could be used to validate statements like, "The guest cannot do X. The host cannot do Y. Etc." Does something like this exist for Kata? Sincerely, Jesse