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

## Annual Meeting (September 26-29, 2011)

### Overview

The first annual meeting of RS3 took place from 26th to 27th of September 2011. The projects presented their progress during the meeting and the next steps were planned. The annual meeting was followed by a two-day staff meeting for the doctoral and post-doctoral researchers in RS3 on 28th and 29th of September where the doctoral and post-doctoral researchers worked on common topics. Both meetings took place at the Department of Informatics of the Karlsruhe Institute of Technology.

### Date and Location

Members of the scientific advisory board were invited to attend:
26.09.2011 (9.00am) - 27.09.2011 (5.00pm).

Members of the Friends of RS3 (FoRS3) were invited to attend:
26.09.2011 (9.00am) - 27.09.2011 (5.00pm).

Principal investigators of RS3 projects were invited to attend:
26.09.2011 (9.00am) - 27.09.2011 (6.00pm).

Doctoral and post-doctoral researchers in RS3 projects were invited to attend:
26.09.2011 (9.00am) - 29.09.2011 (6.00pm).

Karlsruhe Institute of Technology (KIT)
Department of Informatics, Building 50.34
Am Fasanengarten 5
76131 Karlsruhe

### Schedule

During the annual meeting the projects presented their progress and further possibilities for collaborations were identified in the discussion sessions. During the staff meeting the doctoral and post-doctoral researchers identified and worked on common problems in the reference scenarios and their project clusters.

The schedule gives an overview of the meeting.

### Keynote Talk by Mads Dam: A Little Knowledge Goes a Little Bit Further

Abstract:
Epistemic logic - the logic of knowledge and belief - has played an important role in security protocol analysis since the inception of BAN logic in the late 80'es. Epistemic logic has in the past been used mainly for analysis of authentication and integrity properties, whereas for confidentiality properties other techniques such as Dolev-Yao models, trace-based models, and standard cryptographic models have dominated. We argue that epistemic logic has more to give in the modeling and analysis of security properties and illustrate by recent progress in areas such as information flow analysis, cryptographic knowledge, and model checking of temporal epistemic logic.

### Registration for Participation and Childcare

If you are going to attend the meeting, please send an email to assistant at spp-rs3.de before 15th of August and provide your planned duration of attendance as well as your affiliation with RS3.

Childcare will be offered for participants with children. If you wish to use this offer, please register for it by sending an email to assistant at spp-rs3.de that contains the age of your children that we can plan this accordingly.

### Accomodation

The following presents a small example of possible hotels in Karlsruhe, most of them close to the computer science building. Please consider making your reservation as early as possible. Note that according to the German Travel Expenses Act 79€ per night (including breakfast) is an upper bound for travel refunding.

Suggested Hotels:
Markgräfler Hof Garni (About 1 km from the computer science building)
Hotel Hasen (About 1 km from the computer science building)
Hoepfner Burghof (About 1 km from the computer science building, more than 79€ per night)
Hotel Am Markt (About 2 km from the computer science building)
Kaiserhof Hotel (About 2 km from the computer science building)
Renaissance Karlsruhe (About 2 km from the computer science building, more than 79 € per night)

Suggested Youth Hostels:
Youth Hostel Karlsruhe (About 2 km from the computer science building)

You can find more hotels and informations in the web, for example from HRS.com:
Hotels near the KIT, 25.9. - 27.9.
Hotels near the KIT, 25.9. - 29.9.

### Contact

If you have further questions regarding the annual meeting, please do not hesitate to contact
assistant at spp-rs3.de.