Encoding cryptographic primitives in a calculus with polyadic synchronization