2022
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models.
[DOI]
Camille Sivelle
,
Lorys Debbah
,
Maxime Puys
,
Pascal Lafourcade
,
Thibault Franco-Rondisson
Proceedings of the Secure IT Systems, 2022