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.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang