Information Security Seminar 

21/09/2007, 16:30 — 17:30 — Room P3.10, Mathematics Building
António Ravara, Instituto Superior Técnico

Cryptographic primitives in a calculus with polyadic synchronisation

We define cryptographic primitives for the pi-calculus extended with polyadic synchronisation (epi), and show that these primitives are derivable constructs, i.e., epi with cryptographic primitives may be fully abstractly encoded in the regular epi calculus. The proposed encoding is sound and complete wrt barbed congruence, which, as we also show, coincides with early bisimilarity. Furthermore, we thoroughly study the behavioural theory of epi (joint work with Joana Martinho).