MAIS Graduate Seminar

Organizer:

Prof. Dr. Heiko Mantel

Location:

S2|02, E302

Time:

Tuesdays, 14:25h

Date/Time	Speaker	Title
18.10.2011
25.10.2011
01.11.2011	Tobias Plötz	Confidentiality of Values in the Modular Assembly Kit for Security (MAKS) (Bachelor Thesis)
08.11.2011
15.11.2011	Sven Amann	Towards a Policy Language for Runtime Enforcement of Data Flows
22.11.2011	Artem Starostin	MAIS Android Lab
29.11.2011	Patrick Metzler Artem Starostin	On timing channels in the presence of branch predictors  Future possibilities in research on timing channels
06.12.2011	Richard Gay, Sarah Ereth	On the Runtime Monitoring Reading Group
13.12.2011	Abdullah Abdul Khadir	A Primer on Descriptive Complexity
20.12.2011
10.01.2012	Steffen Lortz	Robustness of Information Flow Security Under Refinement of Synchronization Primitives
17.01.2012	RS3 Staff Meeting
24.01.2012	Felix Klaedtke	Policy Monitoring with First-order Temporal Logic
31.01.2012	Prachi Kumari	Deriving Implementation-level Policies for Usage Control Enforcement
07.02.2012	Jens Sauer	Information Flow Security in Systems With Two Processors
14.02.2012	Dimiter Milushev	Towards Incrementalization of Holistic Hyperproperties

Last modified on 9 February 2012.