SoK: An Analysis of Protocol Design: Avoiding Traps for Implementation and Deployment. - Tobias Fiebig; Franziska Lichtblau; Florian Streibelt; Thorben Krueger; Pieter Lexis; Randy Bush; Anja Feldmann (CoRR, 2016)