Encoding cryptographic primitives in a calculus with polyadic synchronization. - Joana Martinho; António Ravara (TMFCS, 2008)

Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. - Joana Martinho; António Ravara (J. Autom. Reason., 2011)