Lukas Füreder
Lukas Füreder is a researcher and PhD student at the Fraunhofer Institute for Applied and Integrated Security (AISEC). The primary focus of his research is memory safety solutions for real-time and embedded applications on resource-constrained platforms.
Session
The rising adoption of RISC-V in real-world applications raises the requirement of security solutions within its processors. Secure boot enables the product owner to control which software may be booted on it, preventing execution of malicious software. That requires a hardware root-of-trust, typically in conjunction with public key cryptography, establishing the infrastructure to verify software. We propose a secure boot concept for the widely adopted CVA6 core with revocation capabilities. We also modernized the CVA6 software stack to be able to continue the verification steps in later software stages and leverage modern security hardware extensions.