International Federation for Information Processing

 IFIP Home Page


7th International Workshop on Issues in the Theory of Security (WITS'07)

March 24 - 25, 2007, Braga, Portugal
co-located with
ETAPS 2007

ETAPS Home Page

Table of Contents

Overview of WITS

WITS is the official workshop organised by the IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design", established to promote the investigation on the theoretical foundations of security, discovering and promoting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security related applications. The members of the WG hold their annual workshop as an open event to which all researchers working on the theory of computer security are invited. This is the seventh meeting of the series, and is organized in cooperation with ACM SIGPLAN and the German Computer Society (GI) working group FoMSESS.

Extended abstracts of work accepted after selection and presented at the workshop will be collected and distributed to the participants. There will be no formally published proceedings: authors are expected to go on publishing full versions of their presented work in a properly archived form - be it conference or journal. Selected papers presented at the workshop will be invited for submission to a special issue of the Journal of Computer Security.


Suggested submission topics include:

Important Dates

Abstract submission deadline: 19 December 2006
Paper submission deadline: 22 December 2006
Author notification: 1 February 2007
NEWCamera-ready version due: 23 February 2007
Workshop: 24-25 March 2007

Program Committee

Submission Instructions

Authors are invited to submit an extended abstract up to 12 pages long (excluding references and appendices) in the Springer LNCS format, in .pdf (preferred) or Postscript format. Submissions departing from the instructions above will be rejected independently of their technical merit. Please, click here to submit a paper.

Workshop Chair


Riccardo Focardi

Last change: November 28, 2006