Eike Ritter
CSRG seminar on 5th November 2007 at 16:00
Room 245, School of Computer Science

Title: Towards characterising observational equivalence in the Applied Pi-Calculus

Abstract: Proverif does not always allow automatic verification of observational equivalence in the Applied Pi-calculus. In this talk I present some cases where such a characterisation is possible.