Basic secure services for standard RISC-V architectures. - Davide Bove; Julian Funk (Comput. Secur., 2023)