Symbolically analyzing security protocols using tamarin

David A. Basin, Cas Cremers, Jannik Dreier, Ralf Sasse. Symbolically analyzing security protocols using tamarin. SIGLOG News, 4(4):19-30, 2017. [doi]

Abstract

Abstract is missing.