Konrad, Alexander
Scholl, Christoph
Mahzoon, Alireza
Große, Daniel
Drechsler, Rolf
Funding for this research was provided by:
German Research Foundation (Project VerA (SCHO 894/5-1, GR 3104/6-1 and DR 297/37-1), Project VerA (SCHO 894/5-1, GR 3104/6-1 and DR 297/37-1), Project VerA (SCHO 894/5-1, GR 3104/6-1 and DR 297/37-1), Project VerA (SCHO 894/5-1, GR 3104/6-1 and DR 297/37-1), Project VerA (SCHO 894/5-1, GR 3104/6-1 and DR 297/37-1))
LIT Secure and Correct Systems Lab
Albert-Ludwigs-Universität Freiburg im Breisgau
Article History
Received: 15 December 2023
Accepted: 14 April 2024
First Online: 24 May 2024
Declarations
:
: The authors declare no competing interests.