http://www.dagstuhl.de/07091

25. Februar – 02. März 2007, Dagstuhl Seminar 07091

Mobility, Ubiquity and Security

Organisatoren

Gilles Barthe (INRIA Sophia Antipolis – Méditerranée, FR)
Heiko Mantel (RWTH Aachen, DE)
Peter Müller (ETH Zürich, CH)
Andrew Myers (Cornell University, US)
Andrei Sabelfeld (Chalmers UT – Göteborg, SE)


Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl Seminar Proceedings DROPS
Teilnehmerliste

Press Release

"Wie werden Handys sicherer?" 12.02.07(German only)

Summary

Increasing code mobility and ubiquity raises serious concerns about the security of modern computing infrastructures. The focus of this seminar was on securing computing systems by design and construction.

  • telecommunications
  • automotive industry
  • web browsers
  • distributed systems
  • media distribution
  • data mining

The need for security in these applications is critical. The seminar structure reflected the general categories of security properties that are required in scenarios as above. Each category served as a theme for presentations on each of the first four days of the seminar. Each of these days was kicked off by a tutorial talk.

Thanks to Dagstuhl's stimulating environment, many insightful discussions, planned and unplanned, took place. There were two large organized discussion, where all participants were involved: a panel on electronic voting (e-voting) and a general discussion.

With a top-of-the-line collection of invitees placed in Dagstuhl's productive environment, it may seem that little could have gone wrong with the seminar. Still, the we are fully satisfied that our efforts on organizing the meeting have been rewarded by a seminar with a clear focus; good balance between talks, panels, and discussions; and rich cross-fertilization that have already resulted in new collaborations.

Classification

  • Mobile Computing
  • Security / Cryptography
  • Networks
  • Verification / Logic

Keywords

  • Security
  • Information-flow/resource control
  • Security type systems
  • Security logics
  • Proof-carrying code

Buchausstellung

Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.