2023-10-312023-10-31https://publica.fraunhofer.de/handle/publica/452455International Workshop on Security Proofs for Embedded Systems 2021