Conference Papers
Year : 2012
Ilaria Matteucci : Connect in order to contact the contributor
https://inria.hal.science/hal-00750747
Submitted on : Monday, November 12, 2012-11:45:17 AM
Last modification on : Friday, June 16, 2023-5:18:07 PM
Dates and versions
Identifiers
- HAL Id : hal-00750747 , version 1
Cite
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⟩
4
View
0
Download