List of participants
(Short Talk)

Replace # with @
Abghour Noreddine abghour#laas.fr
Accorsi Rafael accorsi#informatik.unifreiburg.de
Agat Johan agat#cs.chalmers.se
Aldini Alessandro aldini#CS.UniBO.IT
Almutadares Nezar nezar.almutadares#ncl.ac.uk
Amegah Andrè andre.amegah#gemplus.com
Anguille Claude claude.anguille#st.com
Asirelli Patrizia asirelli#iei.pi.cnr.it
Beyene Yordanos yordanos#asmara.csd.uu.se
Bodei Chiara chiara#di.unipi.it
Boursier Carine carine.boursier#gemplus.com
Bravetti Mario bravetti#cs.unibo.it
Brodo Linda brodo#sci.univr.it
Bromme Arslan broemme#informatik.uni-hamburg.de
Buscemi Maria Grazia buscemi#dmi.unict.it
Candolin Catharina catharina.candolin#hut.fi
Capkun Srdan srdan.capkun#studi.epfl.ch
Cervesato Iliano iliano#itd.nrl.navy.mil
Chong Cheun Ngen cnc99r#ecs.soton.ac.uk
Crazzolara Federico federico#brics.dk
DabbousNora nora.dabbous#gemplus.com
Damianou Nicodemos ncd#doc.ic.ac.uk
De Capitani Di Vimercate Sabrina decapita#dis.unimi.it
Durante Antonio durante#dsi.uniroma1.it
Ekholm Christian chek#vtd.volvo.se
Evans Neil neile#dcs.rhbnc.aci.uk
Fernandez Medina Paton Eduardo efmedina#jur-to.uclm.es
Field Adam anf99r#ecs.soton.ac.uk
Focardi Riccardo focardi#dsi.unive.it
Giambiagi Pablo pablo#sics.se
Giani Annarita annarita.giani#iat.cnr.it
Greif Norbert norbert.greif#ptb.de
Hietalahti Maarit mhietala#saturn.tcs.hut.fi
Jurjens Jan jan#dcs.ed.ac.uk
Kirli Dilsun zdk#dcs.ed.ac.uk
Kremer Steve skremer#ulb.ac.be
Lenti Jozsef lenti#iit.bme.hu
Lindskog Stefan stefan.lindskog#kau.se
Maier Robert Robert.Maier#esat.kuleuven.ac.be
Mainetto Giovanni Gianni.Mainetto#cnuce.cnr.it
Maki Silja silja#saturn.tcs.hut.fi
Martinelli Andres andres#sics.se
MartinelliFabio martinel#di.unipi.it
Muccini Henry muccini#univaq.it
Ouaknine Joel joelo#math.tulane.edu
Pauliac Mireille mireille.pauliac#gemplus.com
Pereira Olivier pereira#dice.ucl.ac.be
Phillips Jr. Charles E. chip_phillips#hotmail.com
Rostand Jérémie Jeremie.Rostand#dreo.dnd.ca
Sabelfeld Andrei andrei#cs.chalmers.se
Sakurada Hikedi sakurada#theory.brl.ntt.co.jp
Schaad Andreas andreas#cs.york.ac.uk
Seleznyov Alexandr alexandr#jytko.jyu.fi
Serban Radu serbanr#cs.vu.nl
Svenningsson Josef josefs#cs.chalmers.se
Tuosto Emilio etuosto#di.unipi.it
Van Drunen Thomas vandrujt#cs.purdue.edu
Villate Yolanda jibvipey#si.ehu.es
Wimmel Guido wimmel#in.tum.de
Yoo Hee-Jun hyoo#formal.korea.ac.kr
Zunino Roberto zunino#cli.di.unipi.it


List of Short Talks
Friday, 22 Sep.
J. Jurjens: Towards Development of Secure Systems Using Graphical Notation.
S. Kremer: A Game-theoretic Approach to the Verification of Non-repudiation Protocols.
A. Sabelfeld: Semantic-based Information Flow.
J. Agat: On Non-interference and Algorithms.
N. Evans: Analysing Protocols Using CSP and PVS.


Monday, 25 Sep.
I. Cervesato: Relating Strands and Multiset Rewriting for Security Protocol Analysis.
G. Wimmel: Security Engineering Using Autofocus.


Thursday, 28 Sep.
F. Martinelli: Analysis of Security Properties as Properties of Open Systems.
C. Candolin: Security in ad-hoc Networking.
J. Ouaknine: Non-interference: Motivation, Scope, Limits and Beyond.