An seL4-based Trusted Execution Environment on RISC-V

Everton de Matos, Willian Tessaro Lunardi, Jouni Ukkonen, Tero Salminen. An seL4-based Trusted Execution Environment on RISC-V. In International Wireless Communications and Mobile Computing, IWCMC 2024, Ayia Napa, Cyprus, May 27-31, 2024. pages 712-717, IEEE, 2024. [doi]

Authors

Everton de Matos

This author has not been identified. Look up 'Everton de Matos' in Google

Willian Tessaro Lunardi

This author has not been identified. Look up 'Willian Tessaro Lunardi' in Google

Jouni Ukkonen

This author has not been identified. Look up 'Jouni Ukkonen' in Google

Tero Salminen

This author has not been identified. Look up 'Tero Salminen' in Google