MAIS Graduate Seminar

Organizer:

Prof. Dr. Heiko Mantel

Location:

S2|02, E302

Time:

Mondays, 14:25h

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.