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 & Beyond.