G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
G. Barthe, H. Mantel, P. Müller, A. Myers, and A. Sabelfeld. Mobility, Ubiquity and Security, volume 07091 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
D. Hedin, and A. Sabelfeld. Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)