@inproceedings{sivelle:hal-03835049, TITLE = {{Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models}}, AUTHOR = {Sivelle, Camille and Debbah, Lorys Ld and Puys, Maxime and Lafourcade, Pascal and Franco-Rondisson, Thibault}, URL = {https://uca.hal.science/hal-03835049}, BOOKTITLE = {{The 27th Nordic Conference on Secure IT Systems, NordSec}}, ADDRESS = {Reykjavik, Iceland}, YEAR = {2022}, MONTH = Nov, PDF = {https://uca.hal.science/hal-03835049/file/Nordsec_2022_paper_7662.pdf}, HAL_ID = {hal-03835049}, HAL_VERSION = {v1}, }