Das 13. Jahrestreffen der GI-Fachgruppe FoMSESS fand am 17. und 18. Februar 2016 an der Universität Duisburg-Essen in Duisburg statt

Zielsetzung dieser Fachgruppe ist es, im Bereich Computer- und Informationssicherheit ein Diskussionsforum im deutschsprachigen Raum zu bieten, das sich mit der Grundlagenforschung und Anwendung formaler oder mathematisch präziser Techniken im Software-Engineering beschäftigt. Von Interesse für die FG ist Sicherheit im Sinne sowohl von Safety als auch von Security.
 
Die Jahrestreffen dienen zum informellen Austausch zu aktuellen Forschungsfragen auf diesem Gebiet. Sie bieten (insbesondere für jüngere Nachwuchswissenschaftler) eine einmalige Gelegenheit zur Präsentation ihrer aktuellen und laufenden Arbeiten. Im Programm der Jahrestreffen ist deshalb u.a. Raum für ingeladene Vorträge: Vorträge über aktuelle Forschungsprojekt-Initiativen, Fachvorträge, in denenüber konkrete Arbeits- und Forschungsergebnisse berichtet wird oder Übersichtsvorträge, die das Profil einzelner Arbeitsgruppen beschreiben.

Programm und Präsentationen der einzelnen Vorträge

Mittwoch:

17.2.2016

 

 

13:00

Joachim Biskup (TU Dortmund) Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution

14:00

Cornelia Tadros (TU Dortmund) Inference-proof program-based mediation of data sources

14:30

Kaffeepause

15:00

Timm Liebrenz (TU Berlin) Automatic Abstraction and Slicing for HW/SW Co-Designs

15:30

Markus Tasch (TU Darmstadt) I-MAKS -- Formalizing Information Flow Properties in Isabelle/HOL

16:00

Denis Lohner (KIT) Verifizierte Konstruktion von Static Single Assignment Form

16:30

Sitzung der Fachgruppe

19:00

Gemeinsames Abendessen

Donnerstag

18.2.2016

 

 

09:00

Nazila Gol Mohammadi (Uni Duisburg-Essen) Trustworthiness-by-Design and Maintenance at Run-time

09:30

Rene Meis (Uni Duisburg-Essen) Computer-aided Privacy Analysis of Functional Requirements with ProPAn

10:00

Torben Weis (Uni Duisburg-Essen) New Privacy Threats in Web Applications

10:30

Pause

11:00

Peter Ladkin (Uni Bielefeld) Resilience of Complex Systems

 

Bernd Sieker, Peter Bernard Ladkin (Uni Bielefeld) Resilience is an Emergent System Property: A Partial Argument

12:00

Helmar Hutschenreuter (DFKI) SaferApps - Sichere Integration von Unternehmensanwendungen in bestehende IT-Infrastrukturen

12:30

Mittagspause

13:30

Jan Jürjens (Uni Koblenz) Industrial Data Space: Möglichkeiten für assoziierte F&E-Projekte

14:00

Maritta Heisel (Uni Duisburg-Essen) Graduiertenkolleg "User-Centered Social Media"

14:15

Nicolás E. Díaz Ferreyra (Uni Duisburg-Essen) Self-disclosure in Social Media: Challenges & opportunities for self-adaptive systems

14:45

Ende des Treffens