Great collaboration with @PhalaNetwork on auditing an Intel TDX stack! Check out the report here