Oberseminar: Formale Methoden
Organizers: Prof. H. Mantel, Prof. H. Veith, Prof. Chr. Walther
Location: Room S2-02 / E302
Time: Tuesday, 16:30-18:00
| Datum | Name
|
Titel
|
| 14.10.2008
|
||
| 21.10.2008
|
kein Vortrag
|
|
| 28.10.2008
|
Dr. Barbara Sprick | |
| 04.11.2008
|
Ina Schäfer |
Integrating Formal Verification into the Model-based Development of Adaptive Embedded Systems |
| 11.11.2008
|
Boris Köpf | Automatically deriving information-theoretic bounds for side-channel attacks |
| 18.11.2008
|
Timo Schneider
|
Fallstudie: Sicherheitsautomat für einen orchestrierten Dienst in einer serviceorientierten Architektur
|
| 25.11.2008
|
|
|
| 02.12.2008
|
Alexander Nickol
|
|
| Mittwoch, 3.12.2008, 14:00
|
Matthias Perner
|
Information Flow Analysis for CIL
|
| 09.12.2008
|
Richard Gay
|
Interrupt-related Covert Channels from an Attacker's Perspective
|
| 16.12.2008
|
kein Vortrag
|
|
| 13.01.2009
|
Michael Tautschnig
|
|
| 20.01.2009
|
|
|
| 27.01.2009 ! findet nicht statt !
|
Henning Sudbrock
|
Information Flow Analysis with the Combining Calculus using Program Transformations
|
| 03.02.2009
|
nicht verfügbar
|
|
| 10.02.2009
|
Henning Sudbrock
|
Information Flow Analysis with the Combining Calculus using Program Transformations |
|
|
|
|
Print
Imprint
Sitemap
Contact