Subject: SEN1 Meeting tomorrow, Fernando Soler Toscano & Bas Basten
From: Bas Basten
To: sen1-list 
Date: Wed, 15 Jun 2011 14:07:14 +0200 (CEST)

Dear all,

At tomorrow's SEN1 Meeting we will have two short talks of 30 minutes
each. Fernando Soler Toscano, who is visiting us from the Universidad de
Sevilla in Spain, will give the first talk, and I will give the second
talk. The titles and abstracts are as follows:

------------------------------------------------------------------------ 

Title: Knowledge-Based Protocols for Unconditional Security

Speaker:Fernando Soler Toscano
Universidad de Sevilla (Spain)

Abstract:
We present some knowledge-based protocols with potential applications
to security. We model these protocols within Dynamic Epistemic Logic,
where agents are supposed to be omniscient. So the security of the
resulting protocols does not depend on the computational bounds of a
possible attacker. Some techniques to synthesize such protocols are
discussed.

------------------------------------------------------------------------

We start at 10am in room L016. See you all there!

Cheers,
Bas