Date/Time | Speaker | Title |
11.04.2011 | ||
18.04.2011 | Jens Korinth |
Relating Process Semantics by Equivalence-Preserving Transformations (Bachelor thesis) |
25.04.2011 | OSTERN | |
02.05.2011 | Robert Grabowski | Information Flow Analysis for Mobile Code in Dynamic Security Environments |
09.05.2011 | MAIS @ ESOC |
|
16.05.2011 | Matthias Perner |
tbd (Master thesis) |
23.05.2011 | Dr. Andrei Popescu | Proving probabilistic noninterference |
30.05.2011 | ||
06.06.2011 | Henning Sudbrock | Assumptions and Guarantees for Compositional Noninterference |
13.06.2011 | PFINGSTEN | |
20.06.2011 | A. Baskar |
Dolev-Yao theories for distributive encryption |
27.06.2011 | CSF | |
04.07.2011 | Christopher Mann | A Static Framework for Privacy Analysis of Android Applications (Bachelor thesis) |
11.07.2011 |
Last modified on 16 June 2011.