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
Gilles Barthe, Research Professor, IMDEA Software Institute
Cryptography is decidable