Schedule
| Tuesday, 19 January 2010 | ||
| 15:45–16:30 |
Hans van Ditmarsch Security protocols using card deals |
|
| 16:30–17:15 |
R Ramanujam Logics underlying the Dolev-Yao model |
|
| Wednesday, 20 January 2010 | ||
| 15:45–16:45 |
Simon Kramer A General Definition of Malware |
|
| 16:45–17:15 |
K R Raghavendra Information Flow based Security for Programs |
|
| Thursday, 21 January 2010 | ||
| 15:45–16:45 |
Valentin Goranko A framework for modelling, logical specification and reasoning about information security in multi-agent systems |
|
| 16:45–17:15 |
A Baskar A Dolev-Yao model for zero knowledge |
|
| Friday, 22 January 2010 | ||
| 15:45–16:30 |
Sanjiva Prasad Process calculi for security protocols |
|
| 16:30–17:15 |
K Gopinath Information-theoretic secure Verifiable Secret Redistribution Protocol |
|