In: 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2025), March 11-12, Rostock, Germany, Pages 61-65, VDE, 3/2025.
In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.