[Club2] (Quasi-Informal) Workshop on Information-Flow Security: Monday Febr. 3, 11:00--18:00, Room Turing (00.09.38)

[Andrei Popescu]

Dear All,  

This Monday (Febr. 3), we will have a workshop focused on our RS3 reference scenario: 

Formal Verification of Information-Flow Properties in Web-Based Workflow Management Systems

A word of warning: Some of the talks, including mine, will have a fairly informal and interactive nature: 
a mixture of slides and whiteboard explanations.  

Time: Febr. 3, 11:00--18:00
Location:  Room Turing (00.09.38)

Talks (30 min. presentations + 15 min. discussions + 15 min. breaks):

PART I: Interactive Verification

11:00–11:45
Andrei Popescu: Formal Verification of a Conference Management System

12:00–12:45
Steffen Lortz: Modeling and Verifying Information Systems with I-MAKS

12:45–14:00
Lunch Break

14:00–14:45
Thomas Bauereiß: Verifying Security of a Distributed Workflow 
Management System using MAKS

15:00–15:45
Christoph Feller: The MoveSpacI Approach—Using Model-Level Proofs
to Show Security Properties on the System Level

PART II: Temporal Logics and Model Checking

16:00–16:45
Markus Rabe: A Temporal Logic for Hyperproperties

17:00–17:45
Martin Ochoa: Unwinding-Based Model Checking and Model-Based 
Testing for Non-Interference on Extended Finite State Machines

PART III: Plans for Day 2 and Dinner

18:00–18:30
Andrei Popescu: Discussion of Brainstorming Topic Proposals for Day 2

18:30: Leave for dinner at a Chinese Buffet (5 min. train + 10 min. walk):
Global Wok (Wok & Grill Restaurant)
Schleißheimer Str. 106, Garching-Hochbr ̈ck, 85748 Garching
http://www.global-wok.de

Cheers, 
  Andrei  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20140201/f05688be/attachment.html>