Cryptography is decidable - The IMDEA Software Institute

Home > Events > Software Seminar Series > 2010 > Cryptography is decidable

Tuesday, April 27, 2010

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

Gilles Barthe, Research Professor, IMDEA Software Institute

Cryptography is decidable

Abstract:

Cryptography is decidable

Madrid