Joana Martinho

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Joana Martinho, António Ravara
Encoding Cryptographic Primitives in a Calculus with Polyadic Synchronisation. J. Autom. Reason. 46 (3-4) (2011)
Joana Martinho, António Ravara
Encoding cryptographic primitives in a calculus with polyadic synchronization. TMFCS (2008)