Gunzter/iot-ownership-transfer-protocol-tamarin-model

iot-ownership-transfer-protocol-tamarin-model

For TODO publication available at TODO-Link