Synthesis of secure adaptors | Publicación