MECAT: Memory-Safe Smart Contracts in ARM TrustZone. - Seonghwan Park; Hayoung Kang; Sanghun Han; Jonghee M. Youn; Donghyun Kwon (IEEE Access, 2024)