TITLE     : A tool for the synthesis of cryptographic orchestrators
AUTHOR(S) : Ciancia V., Martin J.  A., Martinelli F., Matteucci I., Petrocchi M., Pimentel E.
TYPE      : Conference article
YEAR      : 2012
CODE      : 277001

*** DO NOT EDIT THIS FILE ***