Symbolic protocol verification with dice (Journal of Computer Security, 2023)

(untitled) - Cheval, V; Crubillé, R; Kremer, S