Volume 6, Issue 9, September 2016 - DROPS

Volume 6, Issue 9, September 2016
Network Attack Detection and Defense – Security Challenges and Opportunities of
Software-Defined Networking (Dagstuhl Seminar 16361)
Marc C. Dacier, Sven Dietrich, Frank Kargl, and Hartmut König . . . . . . . . . . . . . . . .
1
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)
Martin Fränzle, James Kapinski, and Pavithra Prabhakar . . . . . . . . . . . . . . . . . . . . . . . .
29
Public-Key Cryptography (Dagstuhl Seminar 16371)
Marc Fischlin, Alexander May, David Pointcheval, and Tal Rabin . . . . . . . . . . . . . . . .
46
Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372)
Vincent Heuveline, Michael Schick, Clayton Webster, and Peter Zaspel . . . . . . . . . . . 59
SAT and Interactions (Dagstuhl Seminar 16381)
Olaf Beyersdorff, Nadia Creignou, Uwe Egly, and Heribert Vollmer . . . . . . . . . . . . . .
74
Foundations of Unsupervised Learning (Dagstuhl Seminar 16382)
Maria-Florina Balcan, Shai Ben-David, Ruth Urner, and Ulrike von Luxburg . . . .
94
D a g s t u h l R e p or t s , Vo l . 6 , I s s u e 9
ISSN 2192-5283
ISSN 2192-5283
Published online and open access by
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
GmbH, Dagstuhl Publishing, Saarbrücken/Wadern,
Germany. Online available at
http://www.dagstuhl.de/dagpub/2192-5283
Publication date
February, 2017
Aims and Scope
The periodical Dagstuhl Reports documents the
program and the results of Dagstuhl Seminars and
Dagstuhl Perspectives Workshops.
In principal, for each Dagstuhl Seminar or Dagstuhl
Perspectives Workshop a report is published that
contains the following:
an executive summary of the seminar program
and the fundamental results,
Bibliographic information published by the Deutsche
an overview of the talks given during the seminar
Nationalbibliothek
(summarized as talk abstracts), and
The Deutsche Nationalbibliothek lists this publicasummaries from working groups (if applicable).
tion in the Deutsche Nationalbibliografie; detailed
bibliographic data are available in the Internet at This basic framework can be extended by suitable
http://dnb.d-nb.de.
contributions that are related to the program of the
seminar, e. g. summaries from panel discussions or
License
open problem sessions.
This work is licensed under a Creative Commons
Attribution 3.0 DE license (CC BY 3.0 DE).
Editorial Board
In brief, this license authorizes each
Gilles Barthe
and everybody to share (to copy,
Bernd Becker
distribute and transmit) the work under the followStephan Diehl
ing conditions, without impairing or restricting the
authors’ moral rights:
Hans Hagen
Attribution: The work must be attributed to its
Hannes Hartenstein
authors.
Oliver Kohlbacher
The copyright is retained by the corresponding auStephan Merz
thors.
Bernhard Mitschang
Bernhard Nebel
Bernt Schiele
Nicole Schweikardt
Raimund Seidel (Editor-in-Chief )
Arjen P. de Vries
Klaus Wehrle
Reinhard Wilhelm
Editorial Office
Marc Herbstritt (Managing Editor)
Jutka Gasiorowski (Editorial Assistance)
Dagmar Glaser (Editorial Assistance)
Thomas Schillo (Technical Assistance)
Digital Object Identifier: 10.4230/DagRep.6.9.i
Contact
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Reports, Editorial Office
Oktavie-Allee, 66687 Wadern, Germany
[email protected]
http://www.dagstuhl.de/dagrep

Download Report