07091 Abstracts Collection – Mobility, Ubiquity and Security

Barthe, Gilles; Mantel, Heiko; Müller, Peter; Myers, Andrew C.; Sabelfeld, Andrei

doi:10.4230/DagSemProc.07091.1

Document

07091 Abstracts Collection – Mobility, Ubiquity and Security

Authors Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld

Part of: Volume: Dagstuhl Seminar Proceedings, Volume 7091
Part of: Series: Dagstuhl Seminar Proceedings (DagSemProc)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2007-07-03

PDF

File

PDF

DagSemProc.07091.1.pdf

Filesize: 192 kB
17 pages

Document Identifiers

DOI: 10.4230/DagSemProc.07091.1
URN: urn:nbn:de:0030-drops-11026

Subject Classification

Keywords

Mobility
confidentiality
integrity
availability
type systems
static analysis
information flow
cryptography
proof-carrying code

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

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.

Cite As Get BibTex

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld. 07091 Abstracts Collection – Mobility, Ubiquity and Security. In Mobility, Ubiquity and Security. Dagstuhl Seminar Proceedings, Volume 7091, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.07091.1

Author Details

Gilles Barthe

Heiko Mantel

Peter Müller

Andrew C. Myers

Andrei Sabelfeld

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail