MAIS Graduate Seminar

Organizer:

Prof. Dr.-Ing. Heiko Mantel

Location:

S2|02, E302

Time:

Tuesdays, 14:25h

Date	Speaker	Title
16.04.13	Jens Korinth Patrick Metzler Pascal Wittmann	Preserving Information Flow Properties of CSP Specifications under Refinement (M.Sc. intermediate talk) Tool Support for Step-wise Analysis and Mitigation of Timing Channels in Java Confidentiality for Multithreaded Dalvik Programs by SIFUM Security
23.04.13		no talks
30.04.13	Dominic Scheurer Johannes Schickel Markus Tasch	Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems Towards Automatic Construction of Timing Attacks against Software Exemplary Specification of Integrity Requirements by Information-Flow Properties
07.05.13		no talks
14.05.13	Sarah Ereth	Efficient Offline Monitoring
21.05.13	Jürgen Graf	Practical Static Information Flow Control for Object-Oriented Languages: Challenges and Opportunities
28.05.13		no talks
04.06.13	Abdullah Abdul-Khadir	Service Automata for BPEL Applications
11.06.13	Siegfried Rasthofer	RUNSECURE - Making the Droids more Secure
18.06.13	Thomas Bauereiß	Modelling Security Requirements on Data and Processes
25.06.13		no talks
02.07.13		no talks
09.07.13		no talks
16.07.13	Jens Korinth	Preserving Information Flow Properties of CSP Specifications under Refinement MAIS internal talk

Last modified on 16 July 2013.