Organizer: | Prof. Dr. Heiko Mantel |
Location: | E202, S2|02 |
Time: | Mondays, 14:25-15:55 |
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 |