Skip to Main content Skip to Navigation
Conference papers

A tool for the synthesis of cryptographic orchestrators

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00750747
Contributor : Ilaria Matteucci <>
Submitted on : Monday, November 12, 2012 - 11:45:17 AM
Last modification on : Friday, August 23, 2019 - 11:02:03 AM

Identifiers

  • HAL Id : hal-00750747, version 1

Citation

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⟩

Share

Metrics

Record views

43