and

Red Temática Matemáticas
en la Sociedad de la Información

and

presents

Summer School On Provable Security

Barcelona

September 7th - 11th 2009

Slides

A. Dent

Introduction to Provable Security

P. Rogaway

Symmetric Techniques

Phil did not use slides

E.Kiltz

Public Key Encryption-1
Public Key Encryption-2

T. Shrimpton

Hash Functions

Available from the speaker on request

G. Neven

Digital Signatures-1
Digital Signatures-2

V. Lyubashevsky

Cryptography and Lattices

X. Boyen

Pairing Based Systems

B. Blanchet

Automating Security Proofs

Encrypt-then-MAC Example Code

FDH Example Code

B. Warinschi

Symbolic Methods-1
Symbolic Methods-2

K. Paterson