A tool for the synthesis of cryptographic orchestrators.

Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Jos Antonio Martn, Ernesto Pimentel

Browse the full MODELS paper archive.