Delegating Verification for Remote Attestation Using TEE. - Takashi Yagawa; Tadanori Teruya; Kuniyasu Suzaki; Hirotake Abe (EuroS&P Workshops, 2024)