The workshop will bring together researchers and practitioners from both the security and the automated reasoning communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols.
Moreover, workshop participants will be invited to submit full
versions of their papers to a special issue of the Journal of
Automated Reasoning, which will be open also to non-participants,
in all cases with fresh reviewing.
The workshop will be held on July 04 as part of IJCAR 2004 (2nd
International Joint Conference on Automated Reasoning), University College Cork,
Cork, Ireland,
July 04 - July 08, 2004.
For further information on the workshop, please send an email to arspa at avispa-project dot org
Program
The program will consist of the following talks (click on the
presentation titles to download the slides)
Here is a preliminary schedule:
Invited talk by Simon Foley
Alessandro Armando and Luca Compagna.
Mike Bond,
Jolyon Clulow.
Carlos Caleiro, Luca Viganò, David
Basin.
Hao Chen, John
A. Clark, Jeremy L. Jacob.
Yannick Chevalier, Ralf Küesters,
Michaël Rusinowitch, Mathieu Turuani.
Paul Hankes
Drielsma, Sebastian Mödersheim.
Christopher Lynch, Catherine
Meadows.
Laurent
Mazaré.
Graham Steel, Alan
Bundy.
Eldar Kleiner, Bill Roscoe.
Fariba
Sadri, Francesca Toni.
09:00 - 09:10
Welcome
09:10 - 10:00
Foley
10:00 - 10:30
Bond, Clulow
10:30 - 11:00
Coffee break
11:00 - 11:30
Chen, Clark, Jacob
11:30 - 12:00
Lynch, Meadows
12:00 - 12:30
Chevalier, Küsters, Rusinowitch, Turuani
12:30 - 14:00
Lunch
14:00 - 14:30
Caleiro, Viganò, Basin
14:30 - 15:00
Armando, Compagna
15:00 - 15:30
Mazaré
15:30 - 16:00
Coffee break
16:00 - 16:30
Steel, Bundy
16:30 - 17:00
Hankes Drielsma, Mödersheim
17:00 - 17:15
Kleiner, Roscoe
17:15 - 17:30
Sadri, Toni
Publication
The informal proceedings contain all accepted contributions will be will
be distributed at the workshop.
Click here to download the pdf file.
Organization and Program Committee
Audience
The workshop is open to all interested persons.Links
Last modified: Fri Mar 18 14:50:16 CET 2005