Gesellschaft für Informatik e.V.

Fachgruppe FoMSESS

Jahrestreffen der Fachgruppe am 27. und 28. März 2008 an der Technischen Universität Darmstadt

Programm

Donnerstag, 27.3.2008

13:00-13:05	Heiko Mantel Technische Universität Darmstadt	Opening Remarks
13:05-14:05	Jorge Cuéllar Siemens AG	Eingeladener Vortrag: Verification of Security Properties of Internet Protocols
Kaffeepause
14:20-14:50	Holger Schmidt Universität Duisburg-Essen	Pattern-based Confidentiality-Preserving Refinement
14:50-15:20	Henning Sudbrock Technische Universität Darmstadt	Formal Analysis of Interrupt-related Covert Channels
15:20-15:50	Thomas Santen European Microsoft Innovation Center	Verifikation des Microsoft Hypervisor - erste Schritte
Kaffeepause
16:20-16:50	Alexander Lux Technische Universität Darmstadt	Type Systems for Information Flow Security with Control of Declassification
16:50-17:20	David von Oheimb Siemens AG	Formal Security Analysis of Electronic Software Distribution Systems
17:20-17:50	Christopher Krauß Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)	Information Flow Control for Semantic Web Services
17:50-18:20	Alle Teilnehmer	Business Meeting
18:20-18:45	Steering Committee	Steering Committee Meeting
ab 19:00 Abendessen

Freitag, 28.3.2008

9:00-10:00	Gregor Snelting Universität Karlsruhe (TH)	Eingeladener Vortrag: Information Flow Control mit Pfadbedingungen in Abhängigkeitsgraphen
Kaffeepause
10:15-10:45	Jan Jürjens The Open University	Linking Cryptoprotocol Verification to Reality
10:45-11:15	Dieter Hutter, Werner Stephan Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)	Formale Entwicklungsprozesse für sichere Systeme
Kaffeepause
11:30-12:00	Thomas Göthel Technische Universität Berlin	VATES: Verifying the Core of a Flying Sensor
12:00-12:30	Nils Gruschka Christian-Albrechts-Universität Kiel	Web Service Security
12:30-12:40	Heiko Mantel Technische Universität Darmstadt	Closing Remarks
12:40-14:00 Mittagessen

Letzte Änderung: 12.3.2008