Security Analysis of the RaSTA Safety Protocol. - Markus Heinrich; Jannik Vieten; Tolga Arul; Stefan Katzenbeisser 001 (ISI, 2018)