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

Tutorial 2013 (September 03-06, 2013)

Tutorial 2013
Participants of the Tutorial 2013

The third tutorial of RS3 took place in September. The goal of the tutorial was to establish a common knowledge base and terminology for collaborations. The target audience were PostDocs, PhD students, Master's students, and Bachelor's students who are working on an RS3 project or are otherwise associated with RS3.

Topics and Speakers

Tutorial 2013
Speakers of the Tutorial 2013

The overall topics of the tutorial were Usage Control, Authorization and Software Engineering for Security.

The topics included:

  • Logics for authorization policies
  • Proof-carrying authorization
  • Trusted storage
  • Android Security
  • Dynamic IFC for JavaScript
  • Reactive Noninterference
  • E-Voting Systems: Security Requirements and Analysis
  • Introduction to Refinement
  • Model-based Development of Distributed Systems
  • Relating Trace- and State-based Specifications
  • Usage Control

Speakers were:

  • Deepak Garg, Ph.D. (Max Planck Institute for Software Systems)
  • Prof. Dr. Christian Hammer (Universität des Saarlandes)
  • Prof. Dr. Ralf Kuesters (Universität Trier)
  • Prof. Dr. Arnd Poetzsch-Heffter (Technische Universität Kaiserslautern)
  • Prof. Dr. Alexander Pretschner (Technische Universität München)

The schedule can be found here.

Date and Location

The tutorial took place from September 3 to September 6, 2013. We recommended arrival on September 2, 2013 for dinner and departure in the early evening of September 6, 2013 before dinner. Between these dates and times, there was full accommodation. The tutorial took place in

Seminarhotel Odenwald
Am Dachsrain 2
64739 Höchst-Hassenroth

More information about the location can be found here (German only).

Travel information

The two nearest train stations to Hoechst-Hassenroth are "Gross Umstadt-Wiebelsbach" and "Hoechst im Odenwald" (careful, the "im Odenwald" is very important, otherwise you are likely to end up in "Hoechst bei Frankfurt"). From both train stations, we recommend to take a taxi to the Seminarhotel Odenwald in Hoechst-Hassenroth.


Please register until June 15, 2013 by filling out the application form and sending it per mail or by fax to the address/fax number given in the form.


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