A. Russo, A. Sabelfeld, and K. Li. Logics and Languages for Reliability and Security, volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2010)
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)
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)