1. L4Re - L4 runtime environment. https://os.inf.tu-dresden.de/L4Re/doc/index.html. Accessed 1 Dec 2023
2. Ambrosin, M., Conti, M., Ibrahim, A., Neven, G., Sadeghi, A.R., Schunter, M.: SANA: secure and scalable aggregate network attestation. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS 2016 (2016)
3. Asokan, N., et al.: SEDA: scalable embedded device attestation. In: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2015, pp. 964–975 (2015)
4. Claire Wolf: PicoRV32 - A Size-Optimized RISC-V CPU. https://github.com/YosysHQ/picorv32. Accessed 1 Dec 2023
5. Deb Nath, A.P., Ray, S., Basak, A., Bhunia, S.: System-on-chip security architecture and cad framework for hardware patch. In: 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 733–738 (2018). https://doi.org/10.1109/ASPDAC.2018.8297409