Stadtländer, EikeNüsken, MichaelHuth, ChristopherNüsken, Michael2018-11-182018-11-182018https://dl.gi.de/handle/20.500.12116/18247enAutomatic Security Analysis in the Symbolic Model using Tamarin-ProverText/Abstract10.18420/cdm-2018-29-21