2022-03-022022-03-022019978-1-7281-2672-2978-1-7281-2671-5https://publica.fraunhofer.de/handle/publica/166698IEEE 4th International Verification and Security Workshop, IVSW 2019