@Article{DagRep.6.9,
  title =	{{Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9},
  URN =		{urn:nbn:de:0030-drops-69740},
  doi =		{10.4230/DagRep.6.9},
  annote =	{Keywords: Dagstuhl Reports, Volume 6, Issue 9, September 2016, Complete Issue}
}
@Article{DagRep.6.9.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.i},
  URN =		{urn:nbn:de:0030-drops-69731},
  doi =		{10.4230/DagRep.6.9.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 9, 2016}
}
@Article{dacier_et_al:DagRep.6.9.1,
  author =	{Dacier, Marc C. and Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut},
  title =	{{Network Attack Detection and Defense (Dagstuhl Seminar 16361)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Dacier, Marc C. and Dietrich, Sven and Kargl, Frank and K\"{o}nig, Hartmut},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.1},
  URN =		{urn:nbn:de:0030-drops-69122},
  doi =		{10.4230/DagRep.6.9.1},
  annote =	{Keywords: attack detection, denial-of-service attack detection and response, intrusion detection, malware assessment, network monitoring, openflow protocol, programmable networks, security, software-defined networking, targeted attacks, vulnerability analysis}
}
@Article{franzle_et_al:DagRep.6.9.29,
  author =	{Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
  title =	{{Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362)}},
  pages =	{29--45},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Fr\"{a}nzle, Martin and Kapinski, James and Prabhakhar, Pavithra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.29},
  URN =		{urn:nbn:de:0030-drops-69135},
  doi =		{10.4230/DagRep.6.9.29},
  annote =	{Keywords: aerospace, automotive, cyber-physical systems, fault tolerance, formal verification, real-time and embedded systems, robustness}
}
@Article{fischlin_et_al:DagRep.6.9.46,
  author =	{Fischlin, Marc and May, Alexander and Pointcheval, David and Rabin, Tal},
  title =	{{Public-Key Cryptography (Dagstuhl Seminar 16371)}},
  pages =	{46--58},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Fischlin, Marc and May, Alexander and Pointcheval, David and Rabin, Tal},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.46},
  URN =		{urn:nbn:de:0030-drops-69147},
  doi =		{10.4230/DagRep.6.9.46},
  annote =	{Keywords: cryptanalysis, encryption, homomorphic encryption, key exchange, obfuscation, signatures}
}
@Article{heuveline_et_al:DagRep.6.9.59,
  author =	{Heuveline, Vincent and Schick, Michael and Webster, Clayton and Zaspel, Peter},
  title =	{{Uncertainty Quantification and High Performance Computing (Dagstuhl Seminar 16372)}},
  pages =	{59--73},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Heuveline, Vincent and Schick, Michael and Webster, Clayton and Zaspel, Peter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.59},
  URN =		{urn:nbn:de:0030-drops-69158},
  doi =		{10.4230/DagRep.6.9.59},
  annote =	{Keywords: high performance computing, parallelization, stochastic modeling, uncertainty quantification}
}
@Article{beyersdorff_et_al:DagRep.6.9.74,
  author =	{Beyersdorff, Olaf and Creignou, Nadia and Egly, Uwe and Vollmer, Heribert},
  title =	{{SAT and Interactions (Dagstuhl Seminar 16381)}},
  pages =	{74--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Beyersdorff, Olaf and Creignou, Nadia and Egly, Uwe and Vollmer, Heribert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.74},
  URN =		{urn:nbn:de:0030-drops-69116},
  doi =		{10.4230/DagRep.6.9.74},
  annote =	{Keywords: Combinatorics, Computational Complexity, P vs. NP, Proof Complexity, Quantified Boolean formulas, SAT-solvers, satisfiability problem}
}
@Article{balcan_et_al:DagRep.6.9.94,
  author =	{Balcan, Maria-Florina and Ben-David, Shai and Urner, Ruth and von Luxburg, Ulrike},
  title =	{{Foundations of Unsupervised Learning (Dagstuhl Seminar 16382)}},
  pages =	{94--109},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{9},
  editor =	{Balcan, Maria-Florina and Ben-David, Shai and Urner, Ruth and von Luxburg, Ulrike},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.9.94},
  URN =		{urn:nbn:de:0030-drops-69542},
  doi =		{10.4230/DagRep.6.9.94},
  annote =	{Keywords: Machine learning, theory of computing, unsupervised learning, representation learning}
}