2026-07-19T20:00:20Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1102 2024-03-06T11:07:23Z ddc:004 open_access

07091 Abstracts Collection – Mobility, Ubiquity and Security Barthe, Gilles Mantel, Heiko Müller, Peter Myers, Andrew C. Sabelfeld, Andrei Mobility confidentiality integrity availability type systems static analysis information flow cryptography proof-carrying code From 25.02.2007 to 02.03.2007, the Dagstuhl Seminar 07091 ``Mobility, Ubiquity and Security'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gilles Barthe and Heiko Mantel and Peter Müller and Andrew C. Myers and Andrei Sabelfeld 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7091, Mobility, Ubiquity and Security (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07091.1 urn:nbn:de:0030-drops-11026 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07091.1 eng https://creativecommons.org/licenses/by/4.0/legalcode