Dagstuhl Seminar Proceedings, Volume 7091,

• Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld 07091 Abstracts Collection – Mobility, Ubiquity and Security 10.4230/DagSemProc.07091.1
• Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld 07091 Executive Summary – Mobility, Ubiquity and Security 10.4230/DagSemProc.07091.2