Schedule
Monday, September 4
from 08:30
Get-together with coffee
09:15-09:30
Heiko Mantel (TU Darmstadt)
Welcome and Organizational Issues
09:30-10:15
Heiko Mantel (TU Darmstadt)
Reliably Secure Software Systems (RS3):
An Overview of the Priority Program
10:15-10:40
Deepak Garg (MPI for Software Systems), Christian Hammer (Potsdam University)
RS3 Project: IFC4BC
Information Flow Control for Browser Clients
10:40-11:10
Coffee break
11:10-11:35
Wolfgang Reif (Augsburg University)
RS3 Project: IFlow
Developing Systems with Secure Information Flow
11:35-12:25
Philippa Gardner (Imperial College London)
Keynote Talk:
Trustworthy Software Specification
12:25-14:00
Lunch
with demos and posters from 13:15
14:00-14:50
Fred B. Schneider (Cornell University)
Keynote Talk:
Security from Tags
14:50-15:00
Short break
15:00-15:25
Heiko Mantel, Matthias Perner (TU Darmstadt)
RS3 Project: RSCP
Reliable Security for Concurrent Programs
15:25-15:50
Markus Müller-Olm (WWU Münster), Gregor Snelting (Karlsruhe Institute of Technology)
RS3 Project: IFC4MC
Information Flow Control for Mobile Components
15:50-16:30
Coffee break
16:30-16:55
Eric Bodden, Alexandre Bartel (University of Paderborn)
RS3 Project: INTERFLOW
Hybrid Static/Dynamic Inter-Application Data-Flow Analysis
16:55-17:20
Heiko Mantel (TU Darmstadt)
RS3 Reference Scenario:
Software Security for Mobile Devices
17:20-17:30
Short break
17:30-18:20
Lujo Bauer (Carnegie Mellon University)
Keynote Talk:
Web Browsers and the Coming of Age of Information Flow Control
from 19:00
Dinner at Jagdschloss Kranichstein
Tuesday, September 5
from 08:30
Get-together with coffee
09:00-09:50
Ravi Sandhu (University of Texas at San Antonio)
Keynote Talk:
Attribute-Based Access Control: Insights and Challenges
09:50-10:00
Short break
10:00-10:25
Alexander Pretschner (TU Munich)
RS3 Project: SADAN
System-Wide Data-Driven Runtime Usage Control Across Layers of Abstraction
10:25-10:40
Heiko Mantel, Richard Gay (TU Darmstadt)
Associated Project:
Service Automata
10:40-11:05
Bernd Finkbeiner (Saarland University), Helmut Seidl (TU Munich)
RS3 Project: SpAGAT
Secrecy and Information Flow in Shared Document Bases
11:05-11:35
Coffee break
11:35-12:25
Jorge Cuéllar (Siemens AG)
Keynote Talk:
Taming IoT
12:25-14:00
Lunch
with demos and posters from 13:15
14:00-14:25
Andrei Popescu (Middlesex University)
RS3 Reference Scenario:
Web-Based Workflow Management Systems
14:25-14:50
Tobias Nipkow, Ondřej Kunčar (TU Munich)
RS3 Project: SecDed
Secure Type Systems and Deduction
14:50-15:15
Dieter Hutter (DFKI GmbH and University of Bremen)
RS3 Project: MORES
Modeling and Refinement of Security Requirements on Data and Processes
15:15-15:55
Coffee break
15:55-16:45
Fabio Massacci (University of Trento)
Keynote Talk:
The Work Averse Attacker Model
16:45-17:00
Short break
17:00-18:30
Panel Discussion:
Formal Methods for Reliable Software Security
Panelists: Boris Köpf (IMDEA Software Institute), David Naumann (Stevens Institute of Technology), Alexander Pretschner (TU Munich), Andrei Sabelfeld (Chalmers University)
Moderators: Deepak Garg (MPI for Software Systems), Heiko Mantel (TU Darmstadt)
from 19:00
Dinner at Jagdschloss Kranichstein
with ceremony for RS3 Best Paper Awards 2016 and 2017
Wednesday, September 6
from 08:30
Get-together with coffee
09:00-09:50
Carroll Morgan (Data61 and University of New South Wales)
Keynote Talk:
What do Hyper-Distributions have to do with Security?
10:00-10:25
Ralf Küsters, Enrico Scapin (University of Stuttgart)
RS3 Reference Scenario:
Security in E-Voting
10:25-10:35
Ralf Küsters, Enrico Scapin (University of Stuttgart)
RS3 Project: E-Voting
Implementation-Level Analysis of E-Voting Systems
10:35-11:05
Coffee break
11:05-11:30
Bernhard Beckert (Karlsruhe Institute of Technology)
RS3 Project: DeduSec
Program-Level Specification and Deductive Verification of Security Properties
11:30-12:00
Tomasz Truderung (Polyas AG)
Practitioner Talk:
Building Secure E-Voting Software
12:00-12:20
Heiko Mantel (TU Darmstadt)
Reliably Secure Software Systems (RS3):
Selected Highlights and Outlook
12:20-12:30
Heiko Mantel (TU Darmstadt)
Closing