Search - Université Clermont Auvergne Access content directly

Filter your results

1 Résultat
authFullName_s : Thibault Franco-Rondisson
Image document

Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract Models

Camille Sivelle , Lorys Ld Debbah , Maxime Puys , Pascal Lafourcade , Thibault Franco-Rondisson et al.
The 27th Nordic Conference on Secure IT Systems, NordSec, Nov 2022, Reykjavik, Iceland
Conference papers hal-03835049v1