Issue

Dagstuhl Reports, Volume 4, Issue 12

Thumbnail PDF

Event

  • Dagstuhl Seminars 14491, 14492, 14511, 14512

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.4.12
Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue
Cite as

Dagstuhl Reports, Volume 4, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{DagRep.4.12,
  title =	{{Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12},
  URN =		{urn:nbn:de:0030-drops-50099},
  doi =		{10.4230/DagRep.4.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.4.12.i
Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 4, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{DagRep.4.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.i},
  URN =		{urn:nbn:de:0030-drops-50081},
  doi =		{10.4230/DagRep.4.12.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014}
}
Document
DOI: 10.4230/DagRep.4.12.1
Socio-Technical Security Metrics (Dagstuhl Seminar 14491)

Authors: Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14491 "Socio-Technical Security Metrics". In the domain of safety, metrics inform many decisions, from the height of new dikes to the design of nuclear plants. We can state, for example, that the dikes should be high enough to guarantee that a particular area will flood at most once every 1000 years. Even when considering the limitations of such numbers, they are useful in guiding policy. Metrics for the security of information systems have not reached the same maturity level. This is partly due to the nature of security risk, in which an adaptive attacker rather than nature causes the threat events. Moreover, whereas the human factor may complicate safety and security procedures alike, in security this "weakest link" may be actively exploited by an attacker, such as in phishing or social engineering. In order to measure security at the level of socio-technical systems, one therefore needs to compare online hacking against such social manipulations, since the attacker may simply take the easiest path. In this seminar, we searched for suitable metrics that allow us to estimate information security risk in a socio-technical context, as well as the costs and effectiveness of countermeasures. Working groups addressed different topics, including security as a science, testing and evaluation, social dynamics, models and economics. The working groups focused on three main questions: what are we interested in, how to measure it, and what to do with the metrics.
Cite as

Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse. Socio-Technical Security Metrics (Dagstuhl Seminar 14491). In Dagstuhl Reports, Volume 4, Issue 12, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{gollmann_et_al:DagRep.4.12.1,
  author =	{Gollmann, Dieter and Herley, Cormac and Koenig, Vincent and Pieters, Wolter and Sasse, Martina Angela},
  title =	{{Socio-Technical Security Metrics (Dagstuhl Seminar 14491)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Gollmann, Dieter and Herley, Cormac and Koenig, Vincent and Pieters, Wolter and Sasse, Martina Angela},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.1},
  URN =		{urn:nbn:de:0030-drops-49744},
  doi =		{10.4230/DagRep.4.12.1},
  annote =	{Keywords: Security risk management, security metrics, socio-technical security, social engineering, multi-step attacks, return on security investment}
}
Document
DOI: 10.4230/DagRep.4.12.29
The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)

Authors: Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh

Abstract
Increasingly, modern cryptography (crypto) has moved beyond the problem of secure communication to a broader consideration of securing computation. The past thirty years have seen a steady progression of both theoretical and practical advances in designing cryptographic protocols for problems such as secure multiparty computation, searching and computing on encrypted data, verifiable storage and computation, statistical data privacy, and more. More recently, the programming-languages (PL) community has begun to tackle the same set of problems, but from a different perspective, focusing on issues such as language design (e.g., new features or type systems), formal methods (e.g., model checking, deductive verification, static and dynamic analysis), compiler optimizations, and analyses of side-channel attacks and information leakage. This seminar helped to cross-fertilize ideas between the PL and crypto communities, exploiting the synergies for advancing the development of secure computing, broadly speaking, and fostering new research directions in and across both communities.
Cite as

Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh. The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). In Dagstuhl Reports, Volume 4, Issue 12, pp. 29-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{barthe_et_al:DagRep.4.12.29,
  author =	{Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique},
  title =	{{The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)}},
  pages =	{29--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Barthe, Gilles and Hicks, Michael and Kerschbaum, Florian and Unruh, Dominique},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.29},
  URN =		{urn:nbn:de:0030-drops-50045},
  doi =		{10.4230/DagRep.4.12.29},
  annote =	{Keywords: Security, Theory, Languages}
}
Document
DOI: 10.4230/DagRep.4.12.48
Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)

Authors: James Cheney, Torsten Grust, and Dimitrios Vytiniotis

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14511 "Programming Languages for Big Data (PlanBig)". The seminar was motivated by recent developments in programming languages, databases, machine learning, and cloud computing, and particularly by the opportunities offered by research drawing on more than one of these areas. Participants included researchers working in each of these areas and several who have previously been involved in research in the intersection of databases and programming languages. The seminar included talks, demos and free time for discussion or collaboration. This report collects the abstracts of talks and other activities, a summary of the group discussions at the seminar, and a list of outcomes.
Cite as

James Cheney, Torsten Grust, and Dimitrios Vytiniotis. Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511). In Dagstuhl Reports, Volume 4, Issue 12, pp. 48-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{cheney_et_al:DagRep.4.12.48,
  author =	{Cheney, James and Grust, Torsten and Vytiniotis, Dimitrios},
  title =	{{Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511)}},
  pages =	{48--67},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Cheney, James and Grust, Torsten and Vytiniotis, Dimitrios},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.48},
  URN =		{urn:nbn:de:0030-drops-50055},
  doi =		{10.4230/DagRep.4.12.48},
  annote =	{Keywords: Programming languages, databases, data-centric computation, machine learning, cloud computing}
}
Document
DOI: 10.4230/DagRep.4.12.68
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Authors: Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis". Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems.
Cite as

Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli. Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). In Dagstuhl Reports, Volume 4, Issue 12, pp. 68-113, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{hillston_et_al:DagRep.4.12.68,
  author =	{Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
  title =	{{Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)}},
  pages =	{68--113},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Hillston, Jane and Pitt, Jeremy and Wirsing, Martin and Zambonelli, Franco},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.68},
  URN =		{urn:nbn:de:0030-drops-50066},
  doi =		{10.4230/DagRep.4.12.68},
  annote =	{Keywords: Collective Adaptive Systems, Qualitative and Quantitative Modelling and Analysis, Verification, Humans-In-The-Loop}
}

Filters

  • Authors
  • B
  • Barthe, Gilles
  • C
  • Cheney, James
  • G
  • Gollmann, Dieter
  • Grust, Torsten
  • H
  • Herley, Cormac
  • Hicks, Michael
  • Hillston, Jane
  • K
  • Kerschbaum, Florian
  • Koenig, Vincent
  • P
  • Pieters, Wolter
  • Pitt, Jeremy
  • S
  • Sasse, Martina Angela
  • U
  • Unruh, Dominique
  • V
  • Vytiniotis, Dimitrios
  • W
  • Wirsing, Martin
  • Z
  • Zambonelli, Franco

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact