TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 07091

Mobility, Ubiquity and Security

( 25. Feb – 02. Mar, 2007 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/07091

Organisatoren




Press Room

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.


Teilnehmer
  • Aslan Askarov (Chalmers UT - Göteborg, SE)
  • Michael Backes (Universität des Saarlandes, DE) [dblp]
  • Anindya Banerjee (Kansas State University, US) [dblp]
  • Gilles Barthe (INRIA Sophia Antipolis - Méditerranée, FR) [dblp]
  • Bernhard Beckert (Universität Koblenz-Landau, DE) [dblp]
  • Martin Berger (Imperial College London, GB) [dblp]
  • Richard Bubel (Chalmers UT - Göteborg, SE) [dblp]
  • Jorge R. Cuéllar (Siemens AG - München, DE) [dblp]
  • Mads Dam (KTH Royal Institute of Technology, SE) [dblp]
  • Pierpaolo Degano (University of Pisa, IT)
  • Markus Dürmuth (Universität des Saarlandes, DE)
  • Brendan Eich (MOZILLA - Mountain View, US) [dblp]
  • Amy Felty (University of Ottawa, CA) [dblp]
  • Cédric Fournet (Microsoft Research UK - Cambridge, GB) [dblp]
  • Felix Freiling (Universität Mannheim, DE) [dblp]
  • Dieter Gollmann (TU Hamburg-Harburg, DE) [dblp]
  • Benjamin Gregoire (INRIA Sophia Antipolis - Méditerranée, FR)
  • Joshua D. Guttman (MITRE - Bedford, US)
  • Reiner Hähnle (Chalmers UT - Göteborg, SE) [dblp]
  • Daniel Hedin (Chalmers UT - Göteborg, SE)
  • Marieke Huisman (INRIA Sophia Antipolis - Méditerranée, FR) [dblp]
  • Dieter Hutter (DFKI - Saarbrücken, DE)
  • Thomas Jensen (INRIA Rennes - Bretagne Atlantique, FR) [dblp]
  • Joseph Roland Kiniry (University College Dublin, IE) [dblp]
  • Peeter Laud (University of Tartu, EE)
  • Heiko Mantel (RWTH Aachen, DE) [dblp]
  • Fabio Martinelli (CNR - Pisa, IT) [dblp]
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Andrew Myers (Cornell University, US) [dblp]
  • David A. Naumann (Stevens Institute of Technology, US) [dblp]
  • Flemming Nielson (Technical University of Denmark - Lyngby, DK) [dblp]
  • Phu Phung (Chalmers UT - Göteborg, SE)
  • David Pichardie (INRIA Rennes - Bretagne Atlantique, FR) [dblp]
  • Brigitte Pientka (McGill University - Montreal, CA) [dblp]
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE) [dblp]
  • Alexander Reinhard (RWTH Aachen, DE)
  • Tamara Rezk (INRIA Sophia Antipolis - Méditerranée, FR) [dblp]
  • Hanne Riis Nielson (Technical University of Denmark - Lyngby, DK) [dblp]
  • Alejandro Russo (Chalmers UT - Göteborg, SE) [dblp]
  • Peter Y. A. Ryan (Newcastle University, GB) [dblp]
  • Andrei Sabelfeld (Chalmers UT - Göteborg, SE) [dblp]
  • David Sands (Chalmers UT - Göteborg, SE) [dblp]
  • Carsten Schürmann (University of Copenhagen, DK) [dblp]
  • Gregor Snelting (Universität Passau, DE) [dblp]
  • Fausto Spoto (University of Verona, IT)
  • Ian Stark (University of Edinburgh, GB) [dblp]
  • Henning Sudbrock (RWTH Aachen, DE)
  • Santiago Zanella-Béguelin (INRIA Sophia Antipolis - Méditerranée, FR) [dblp]
  • Steve Zdancewic (University of Pennsylvania - Philadelphia, US) [dblp]

Klassifikation
  • mobile computing
  • security / cryptography
  • networks
  • verification / logic

Schlagworte
  • security
  • information-flow/resource control
  • security type systems
  • security logics
  • proof-carrying code