Automated verification of group key agreement protocols (2014 IEEE Symposium on Security and Privacy, 2014)

(untitled) - Schmidt, B; Sasse, R; Cremers, C; Basin, D