Seminar on Internet Technologies (Winter 2010/2011): Difference between revisions
| Line 37: | Line 37: | ||
** Modern Authentication Systems on the example of MS Geneva | ** Modern Authentication Systems on the example of MS Geneva | ||
** Distributed Hash Tables - Usage, properties and future development | ** Distributed Hash Tables - Usage, properties and future development | ||
** | ** Automated Security Protocol Analysis (AVANTSSAR) | ||
** Topic TBA | ** Topic TBA | ||
* Thursday, '''13 January 2011, 15.00 - 18.00''': Presentations (pending) | * Thursday, '''13 January 2011, 15.00 - 18.00''': Presentations (pending) | ||