Kühne, Ulrich2023-10-312023-10-312022https://publica.fraunhofer.de/handle/publica/452456en10th International Workshop on Security Proofs for Embedded Systems, PROOFS 2021. Proceedings