MAIS

MAIS Graduate Seminar

Date/Time	Location	Speaker	Title
09.09.2010, 13:00	E102	Oliver Bracevac	Verhaltensintegrität von Programmen unter nebenläufigen Dateisystemzugriffen
13.09.2010	E302	Henning Sudbrock	Flexible Scheduler-Independent Security
17.09.2010, 15:00	E302	Timo Schneider	Model Checking von Informationsflusseigenschaften
14.10.2010, 16:15	C120	Prof. Andrei Sabelfeld	Web application security: from fundamental challenges toward practical solutions
18.10.2010, 14:15	E202	Dr. Eric Bodden	Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States
25.10.2010	E202	Matthias Perner	Controlled Declassification under Semantics with Schedulers
15.11.2010	E202	Heiko Spies	Measures for comparing program transformations against information leaks in concurrent programs
29.11.2010	E202	Prof. Dr. Markus Müller-Olm	Regular Analysis of Recursive Programs with Thread-creation
07.12.2010, 16:30	E302	Dr. Markus Aderhold	Exemplary Formalization of Secure Coding Guidelines
20.12.2010	E202	Prof. Dr. Arnd Poetzsch-Heffter	An Approach to Modular Verification of Security Properties in Distributed Actor Implementations
10.01.2011
17.01.2011
24.01.2011	E202	Steffen Lortz/Christopher Mann	Introduction to Android
31.01.2011	E202	Alexander Gebhardt/Dr. M. Aderhold	A Closer Look at Formalisms for Secure Coding Guidelines
07.02.2011	E202	Richard Gay	A Model for Decentralized Enforcement of System-Wide Security Aspects
14.02.2011	E202	Jens Korinth	Relating Process Semantics by Equivalence-Preserving Transformations