Copenhagen Programming Language Seminar
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:
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 firstname.lastname@example.org with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org