Cryptography is decidable

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

11:00am Meeting room 302 (Mountain View), level 3

Gilles Barthe, Research Professor, IMDEA Software Institute