An seL4-based Trusted Execution Environment on RISC-V. - Everton de Matos; Willian Tessaro Lunardi; Jouni Ukkonen; Tero Salminen (IWCMC, 2024)