Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. - Camille Sivelle; Lorys Debbah; Maxime Puys; Pascal Lafourcade 001; Thibault Franco-Rondisson (NordSec, 2022)