November 25 – 30 , 2012, Dagstuhl Seminar 12481
Last update: March 26 2013

Quantitative Security Analysis

Participants

  • Alessandro Aldini (University of Urbino, IT)
  • Mario Alvim (University of Pennsylvania – Philadelphia, US)
  • Anindya Banerjee (IMDEA Software – Madrid, ES)
  • Béatrice Bérard (UPMC – Paris, FR)
  • Arnar Birgisson (Chalmers UT – Göteborg, SE)
  • Michele Boreale (University of Firenze, IT)
  • Kostas Chatzikokolakis (Ecole Polytechnique – Palaiseau, FR)
  • Tom Chothia (University of Birmingham, GB)
  • David Clark (University College London, GB)
  • Jorge R. Cuéllar (Siemens AG – München, DE)
  • Alessandra Di Pierro (University of Verona, IT)
  • Ehab ElSalamouny (Ecole Polytechnique – Palaiseau, FR)
  • Sardaouna Hamadou (Ecole Polytechnique – Palaiseau, FR)
  • Holger Hermanns (Universität des Saarlandes, DE)
  • Michael Hicks (University of Maryland – College Park, US)
  • Sebastian Hunt (City University – London, GB)
  • Daniel Kifer (Pennsylvania State University – University Park, US)
  • Boris Köpf (IMDEA Software – Madrid, ES)
  • Matteo Maffei (Universität des Saarlandes, DE)
  • Pasquale Malacaria (Queen Mary University of London, GB)
  • Fabio Martinelli (CNR – Pisa, IT)
  • Michael W. Mislove (Tulane University, US)
  • C. Carroll Morgan (UNSW – Sydney, AU)
  • John Mullins (Polytechnique Montreal, CA)
  • Gethin Norman (University of Glasgow, GB)
  • Martin Ochoa (Siemens AG – Erlangen, DE)
  • Catuscia Palamidessi (Ecole Polytechnique – Palaiseau, FR)
  • Quoc Sang Phan (Queen Mary University of London, GB)
  • Alexander Pretschner (TU München, DE)
  • Andrey Rybalchenko (TU München, DE)
  • Mathieu Sassolas (Free University of Brussels, BE)
  • Vladimiro Sassone (University of Southampton, GB)
  • Fabrizio Smeraldi (Queen Mary University of London, GB)
  • Geoffrey Smith (Florida International University – Miami, US)
  • Marco Stronati (Ecole Polytechnique – Palaiseau, FR)
  • Tachio Terauchi (Nagoya University, JP)
  • Carmela Troncoso (Gradiant – Vigo, ES)
  • Herbert Wiklicky (Imperial College London, GB)
  • Santiago Zanella-Béguelin (Microsoft Research UK – Cambridge, GB)