A tool for the synthesis of cryptographic orchestrators | Publicación