TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 07091

Mobility, Ubiquity and Security

( Feb 25 – Mar 02, 2007 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/07091

Organizers




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.


Participants
  • 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]

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

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