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).
This seminar will be held in the Alameda campus!
