Uni-Logo

Seminar: Programmierkonzepte für Sicherheit

Resonsible:Prof. Dr. Peter Thiemann
Assistance:Gabriel Radanne
Zeit und Ort:
Blockseminar: nach Vereinbarung
Vorbesprechung am Mo 16.10.2017, 10:00, Raum 079-00-019

Prüfungsleistung

  • Active participation in the seminar session
  • Hand-ins for the elaboration and the slides before the respective deadlines
  • Preparation and presentation of a 30-minute talk about the topic of the assigned paper
  • Preparation of a written elaboration of the topic of the assigned paper (15 pages, LaTeX, LNCS Style)

A seminar concentrates on scientific results, but it also teaches competences required for scientific work. In particular

  • literature research
  • reading and understanding of scientific texts
  • presentation skills
  • creating a written elaboration

Procedure

A deadline means that we can process your submission first thing in the morning on the following day. It should be sent by email to the responsible person.

  1. preliminary discussion (meeting): Mo, 16.10.2017
  2. seminar seat assignment: Mo, 26.10.2017
  3. topic assignment (email): Mo, 30.10.2017
  4. hand in first version of elaboration (email): Mo, 27.11.2017
  5. hand in first version of slides: Mo, 04.12.2017
  6. hand in final versions of slides and elaboration: Mo, 29.01.2018
  7. presentation (meeting, attendace mandatory, to be confirmed): We 07.02.2018 and Th 08.02.2018, full day

Elaboration

The elaboration should be 15 pages max. It must be prepared with

LaTeX, document class llncs.cls

Use this class according to the template document which is available on the Springer web site under Information for Authors. The above website contains a useful rubric "Author Guidelines" with further information. Do not change the formatting parameters of llncs.cls in any way. You must use bibtex for references. Many bibtex reference can be exported from the DBLP computer science bibliography.

A good introduction to LaTeX may be found in the documentation of ShareLaTeX.

You should adhere to this style guide for all texts at the proglang group.

Some general information and inspiration about writing a paper may be obtained from Derek Dreyer's presentation How to Write Papers So People Can Read Them.

Deadline for handing in the first version of the elaboration: 27.11.2017.

Topics

We prepared a list of papers from which participants can choose a topic for the seminar. Further information and recommendations will be given in the preliminary discussion, but we ask that you skimmed the papers already so that we can have an informed discussion.

Presentation Schedule

Wednesday, February 07, 2018

  • 10:15 Mohammad Ali Arabi: D. Volpano, et al. "A sound type system for secure flow analysis"
  • 11:15 Maximilian Rohland: Askarov, et al. "Termination-Insensitive Noninterference Leaks More Than Just a Bit"
  • 12:15 Amir Kallel: A. Sabelfeld and D. Sands. "Declassification: Dimensions and principles"

Thursday, February 08, 2018

  • 10:15 Fabian Meyer: Mantel et al. "Controlled declassification based on intransitive noninterference"
  • 11:15 Daniel Tischner: Austin, Flanagan. "Efficient purely-dynamic information flow analysis"