Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade 0001, Thibault Franco-Rondisson. Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models. In Hans P. Reiser, Marcel Kyas, editors, Secure IT Systems - 27th Nordic Conference, NordSec 2022, Reykjavic, Iceland, November 30-December 2, 2022, Proceedings. Volume 13700 of Lecture Notes in Computer Science, pages 234-252, Springer, 2022. [doi]
Abstract is missing.