Tutorial 2011 (October 10-13, 2011)

Topics

The overall topic of this tutorial is 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 will be a great opportunity to establish a common knowledge base for collaborations.

Regarding Information Flow Security, the following topics are 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 addresses 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

Contributions to this tutorial come from DFKI Bremen, Karlsruhe Institute of Technology, TU Darmstadt, TU München, and University of Augsburg. In addition to lectures, the tutorial will also contain practical sessions to get hands-on experience with the tools and techniques from the lectures.

Location and Schedule

The tutorial will take place at Schloss Buchenau in the vicinity of Fulda (about 25 km, see travel details below), on October 10–13, 2011. Here is a preliminary 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, is possible and highly recommended. Departure is on Thursday, October 13 in the evening or on Friday, October 14, after breakfast.

Travel

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.

Preparation

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

Application (closed)

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

Contact

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



Last modified on 28 September 2011.