Dagstuhl Reports, Volume 4, Issue 12,

• Dagstuhl Reports, Volume 4, Issue 12, December 2014, Complete Issue 10.4230/DagRep.4.12
• Dagstuhl Reports, Table of Contents, Volume 4, Issue 12, 2014 10.4230/DagRep.4.12.i
• Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, and Martina Angela Sasse Socio-Technical Security Metrics (Dagstuhl Seminar 14491) 10.4230/DagRep.4.12.1
• Gilles Barthe, Michael Hicks, Florian Kerschbaum, and Dominique Unruh The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) 10.4230/DagRep.4.12.29
• James Cheney, Torsten Grust, and Dimitrios Vytiniotis Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511) 10.4230/DagRep.4.12.48
• Jane Hillston, Jeremy Pitt, Martin Wirsing, and Franco Zambonelli Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512) 10.4230/DagRep.4.12.68