Copenhagen Programming Language Seminar

Simple Proofs and Formal Semantics for Game Transformation

Jesus Almansa
NTT Information Sharing Platform Laboratories, NTT Corporation - Japan

Tuesday 24 February 2009, 14:00-15:00
The IT University, Rued Langgaards Vej 7, DK-2300 Auditorium 4


This talk provides an overview of our approach to formal analyses of cryptographic schemes and security protocols.

We will start by synthesizing the problem domain, from a crypto graphic viewpoint, in order to identify the three fundamental con cepts that allow for a semantics to proofs of security.

Next, as the first step, we will dedicate ourselves to showing how these elements can be used for analyses of schemes; however, we will also point at a promising avenue to analyses of protocols.

No specific technical prerequisites are needed to attend this talk.

Scientific host:Jens Christian Godskesen Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org