Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496
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:
Concerning Verification Tools, the tutorial addressed the following topics:
Lecturers were held by:
In addition to lectures, the tutorial also contained practical sessions to get hands-on experience with the tools and techniques from the lectures.
If you have registered successfully for the tutorial, your registration includes:
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).
The application deadline was: Friday, June 17, 2011.
If you have further questions concerning the tutorial, please send an e-mail to