![]() |
![]() |
|
Friday, February 25, 2011
|
PROGRAM
| 10.45 - 11.30 hrs. | Joeri de Ruiter (Radboud Univ. Nijmegen), |
| Formal analysis of EMV. | |
| 11.30 - 11.45 hrs. | Coffee / tea break. |
| 11.45 - 12.30 hrs. | Gido Schmitz (NBV), |
| How (not) to use a block cipher. | |
| 12.30 - 14.00 hrs. | Lunch break (lunch not included). |
| 14.00 - 14.45 hrs. | Jeroen Doumen (Irdeto), |
| Classifying node-locking schemes. | |
| 14.45 - 15.00 hrs. | Coffee / tea break. |
| 15.00 - 15.45 hrs. | Sebastiaan de Hoogh (TU/e), |
| Restricted shuffles based on hypergraphs |
Dates of the seminar in 2011:
February 25,
May 13,
September 30,
December 2.