Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Tutorial 2011 (October 10-13, 2011)


The overall topic of this tutorial was Information Flow Security and Verification Tools. For PostDocs, PhD students, Master's students, and Bachelor's students who are working on an RS3 project or are otherwise associated with RS3, this was a great opportunity to establish a common knowledge base for collaborations.

Regarding Information Flow Security, the following topics were addressed:

  • Formal Security Models
  • Noninterference à la Goguen/Meseguer and Rushby
  • Possibilistic Information Flow Security
  • Compositional Verification of Information Flow Security
  • Applications of Information Flow Security

Concerning Verification Tools, the tutorial addressed the following topics:

  • Higher-Order Logic
  • Program Logics
  • Deductive Verification of Information Flow Properties with KeY
  • Introduction to Semantics with Isabelle
  • Proving Information Flow Security with KIV

Lecturers were held by:

  • Prof. Dr. Bernhard Beckert (Karlsruhe Institute of Technology)
  • Prof. Dr. Dieter Hutter (DFKI Bremen)
  • Prof. Dr. Heiko Mantel (TU Darmstadt)
  • Prof. Tobias Nipkow, Ph.D., Dr. Andrei Popescu (TU München)
  • Dr. Gerhard Schellhorn, Dr. Kurt Stenzel (University of Augsburg)

In addition to lectures, the tutorial also contained practical sessions to get hands-on experience with the tools and techniques from the lectures. 

Location and Schedule

The tutorial took place at Schloss Buchenau in the vicinity of Fulda (about 25 km, see travel details below), on October 10–13, 2011. This was the schedule for the tutorial.

If you have registered successfully for the tutorial, your registration includes:

  • participation at the tutorial as well as
  • full-board accommodation at Schloss Buchenau.

Arrival on the late afternoon of Sunday, October 9, was possible and highly recommended. Departure was on Thursday, October 13 in the evening or on Friday, October 14, after breakfast.


A description of how you can get to Schloss Buchenau is available on the website of Schloss Buchenau. The nearest train station is Bad Hersfeld (about 12 km to Schloss Buchenau).

In order to simplify your journey, you can sign up in the RS3 Wiki so that we can organize transport from Bad Hersfeld to Schloss Buchenau in groups of people who arrive roughly at the same time.


Please prepare your laptop by following the hints in the RS3 Wiki (login required).

Application (closed)

The application deadline was: Friday, June 17, 2011.


If you have further questions concerning the tutorial, please send an e-mail to tutorial at