Search - Université Clermont Auvergne Access content directly

Filter your results

1 Résultat
Author: personID (integer) : 1058634
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