WRAS 2009

Second International Workshop on Reliability, Availability, and Security
(WRAS 2009)
Hiroshima, Japan, December 2009

The workshop is dedicated to both theoretical and practical aspects of reliability, availability, and security, with an emphasis on parallel and distributed systems. The first edition of the workshop was held in Paris, France in 2007 in conjunction with SSS, the international Symposium on Stabilization, Safety, and Security. The second edition of the workshop is held in Hiroshima, Japan in conjunction with PDCAT 2009, the tenth International conference on Parallel and Distributed Computing, Applications, and Technologies.

All papers accepted to WRAS will be published by IEEE Computer Society, and distributed to participants on both CD-ROMs and USB drives. They are indexed through indexing services including IEE INSPEC, EI (Compendex), and Thomson ISI. The proceedings will be archived to IEEE-Xplore(TM) and the IEEE Computer Society (CSDL) digital libraries.


9:00-10:15 Session 1

Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre
“Space-Optimal Deterministic Rendezvous”

H.B. Acharya, E.S. Elmallah, M.G. Gouda
“Consistent Fixed Points and Negative Gain”

Doina Bein, Toshimitsu Masuzawa, Yukiko Yamauchi
“Reliable Communication on Emulated Channels Resilient to Transient Faults”

10:30-11:45 Session 2

Peter Pecho, Jan Nagy, Petr Hanácek
“Power Consumption of Hardware Cryptography Platform for Wireless Sensor”

Shlomi Dolev, Marina Sadetsky
“Heuristic Certificates via Approximations”

Shlomi Dolev, Yuval Elovici, Alex Kesselman, Polina Zilberman
“Trawling Traffic under Attack, Overcoming DDoS Attacks by Target-Controlled Traffic Filtering”

13:00-14:15 Session 3 & Posters

Kaouther Drira, Lyes Dekar, Hamamache Kheddouci
“A Self-Stabilizing (delta+1)-Edge-Coloring Algorithm of Arbitrary Graphs”

Jorge A. Cobb, Chin-Tser Huang
“Stabilization of Maximal-Metric Routing without Knowledge of Network Size”

Poster: Kazuyuki Akai, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka University)
“Converting Consensus Algorithms from a Round Model into a Conventional Distributed System Model”

Poster: Atsushi Takada (Osaka University), Yukiko Yamauchi (Nara Institute of Science and Technology), Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa (Osaka University)
“A Distributed Algorithm to Update Spanning Trees Minimizing the Number of Output Changes”

Poster: Daisuke Baba (Osaka University), Tomoko Izumi (Ritsumeikan University), Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka University)
“Mobile Agents Rendezvous In Tree Networks”

Poster: Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka University)
“Safety Verification of Asynchronous Consensus Algorithms Using Model”

14:30-15:45 Session 4

Timo Warns, Christian Storm, Oliver Theel
“How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets”

Felix C. Freiling, Christian Lambertz, Mila Majster-Cederbaum
“Modular Consensus Algorithms for the Crash-Recovery Model”

E. Anceaume, F. Brasileiro, R. Ludinard, B. Sericola, F. Tronel
“Analytical Study of Adversarial Strategies in Cluster-based Overlays”

16:00-17:15 Session 5

Masaki Kondo, Shoichi Saito, Kiyohisa Ishiguro, Hiroyuki Tanaka, Hiroshi Matsuo
“Bifrost : A Novel Anonymous Communication System with DHT”

Dalibor Peric, Thomas Bocek, Fabio Victora Hecht, David Hausheer, Burkhard Stiller
“The Design and Evaluation of a Distributed Reliable File System”

Yann Busnel, Roberto Beraldi, Roberto Baldoni
“A Formal Characterization of Uniform Peer Sampling Based on View Shuffling”

Paper Submission Guidelines

Short papers reporting original and unpublishd research results and experience are sollicited. Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Accepted and presented papers will be published in the workshop proceedings. Submissions should include abstract, key words, the e-mail address of the corresponding author, and must not exceed 6 pages including tables and figures. Submissions imply the willingness of at least one author to register, attend the workshop, and present the paper. Submissions to WRAS'09 are conducted only electronically and should be sent to wras09@maslab.ics.es.osaka-u.ac.jp. Authors should upload their manuscripts in PDF format.

Accepted Papers

See this page.


Workshop Co-chairs

  • Hirotsugu Kakugawa, Osaka Univ., Japan
  • Sebastien Tixeuil, Univ. Pierre & Marie Curie, France

Program Committee

  • Zinaida Benenson, Univ. of Mannheim, Germany
  • Ajoy K. Datta, Univ. Nevada, USA
  • Sylvie Delaet, Univ. Paris Sud, France
  • Stephane Devismes, Univ. Grenoble, France
  • Shlomi Dolev, Ben Gurion Univ., Israel
  • Hugues Fauconnier, Univ. Denis Diderot, France
  • Felix Freiling, Univ. Mannheim, Germany
  • Sukumar Ghosh, Univ. of Iowa, USA
  • Fabiola Greve, Univ. Federal de Bahia, Brazil
  • Hirotsugu Kakugawa, Osaka Univ., Japan
  • Yoshiaki Katayama, Nagoya Institute of Technology, Japan
  • Toshimitsu Masuzawa, Osaka Univ., Japan
  • Fukuhito Ooshita, Osaka Univ., Japan
  • Lucia Draque Penso, TU Ilmenau, Germany
  • Franck Petit, ENS Lyon, France
  • Maria Potop-Butucaru, Univ. Pierre & Marie Curie, France
  • Sebastien Tixeuil, Univ. Pierre & Marie Curie, France

Important Dates

  • Submission due: July 20, 2009, * * * Extended * * *
  • Author notification: August 10, 2009,
  • Camera-ready: September 1, 2009 mid September.
wras.txt · Last modified: 2010/01/07 18:53 by yasuaki
www.chimeric.de Creative Commons License Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0