A tool for the synthesis of cryptographic orchestrators - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A tool for the synthesis of cryptographic orchestrators

Fichier non déposé

Dates et versions

hal-00750747 , version 1 (12-11-2012)

Identifiants

  • HAL Id : hal-00750747 , version 1

Citer

Ilaria Matteucci, F. Martinelli, V. Ciancia, J. A. Martin, E. Pimentel, et al.. A tool for the synthesis of cryptographic orchestrators. MDSEC 2012, Oct 2012, Innsbruck, Austria. ⟨hal-00750747⟩
7 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More