Topics of interesting include (but are not limited to):

• Security against unwanted interference and dependence
• Models and theories of program interference
• Algorithms and techniques to reducing or removing interference or for ameliorating its effects
• Resource declassification
• Semantics of dependence and interference
• Analyses based on interference and dependence
• Quantitative methods for measuring interference
• Tools for interference and dependence analysis
• Abstract interpretation for dependence and interference

Brief technical description of the topics covered by the workshop:

Interference essentially means that any possible variations of private data can cause a variation of public data. Dependence means that the outcome of one computation can affect another. This might, for example, mean that it is possible to get information about private data by observing public data. In order to prevent this kind of security violation it is important to analyse how information flows within the program in order to understand how private information propagates during the execution of a program. To achieve this, interference and dependence analysis must be performed, requiring theories, models and semantics for interference and dependence, algorithms and tools for analysis and reasoning about interference and dependence.

Discussion of the timeliness and relevance of the workshop:

The notion of non-interference is widely studied in the security community and interference and dependence are also important in understanding and reasoning about software. The aim of this workshop is to gather together the community of people that study dependence and interference from the different points of view in order to generate new possible research directions.

Important Dates:

• July 1, 2004   Expression of interest
• July 20, 2004   Extended abstract
• August 25, 2004   Workshop

Organization and Submissions:

In this workshop we are interested in interference for imperative (deterministic/non-deterministic), concurrent/parallel, probabilistic functional, logic, and object-oriented languages. The workshop is intended to for discussion of on-going work and ideas in the field of dependence and interference. Those who are interested in having a talk at the workshop and/or discussing issues related with this subjects are invited to join the Organizing Committee. Please send your expression of interest to Isabella Mastroeni (mastroeni@sci.univr.it) before July 1st, 2004. A web-page will be organized collecting all the contributions. A special issue can be organized if the number of expressions of interest will be relevant. Submitted extended abstracts should be at most 5 pages lncs-style and should be sent before July 20th.

Organizers and Participants:

• Torben Amtoft (tamtoft@cis.ksu.edu)
• Anindya Banerjee (ab@cis.ksu.edu)
• Gilles Barthe (Gilles.Barthe@inria.fr)
• David Clark (david@dcs.kcl.ac.uk)
• Sebastian Danicic (s.danicic@gold.ac.uk)
• Alessandra Di Pierro (dipierro@di.unipi.it)
• Samir Genaim (genaim@sci.univr.it)
• Roberto Giacobazzi (roberto.giacobazzi@univr.it)
Chair
• Naftaly Goldberg (naftalyg@rafael.co.il)
• Chris Hankin (clh@doc.ic.ac.uk)
• Mark Harman (Mark@dcs.kcl.ac.uk)
• John Howroyd (john@mcs.gold.ac.uk)
• Sebastian Hunt (seb@soi.city.ac.uk)
Organizing Co-chair
• Pasquale Malacaria (pm@dcs.qmw.ac.uk)
• Heiko Mantel (Heiko.Mantel@inf.ethz.ch)
• Isabella Mastroeni (mastroeni@sci.univr.it)
Organizing Chair
• Lahcen Ouarbya (map01lo@gold.ac.uk)
• Francesco Ranzato (franz@math.unipd.it)
• Rezk Tamara (Tamara.Rezk@sophia.inria.fr)
• Andrei Sabelfeld (andrei@cs.chalmers.se)
• David Sands (dave@cs.chalmers.se)
• Herbert Wiklicky (herbert@doc.ic.ac.uk)
• Damiano Zanardini (zanardini@sci.univr.it)
• Steve Zdancewic (stevez@cis.upenn.edu)