International Federation for Information Processing
2007 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS
7th International Workshop on Issues in the Theory of Security (WITS'07)
24 - 25, 2007, Braga, Portugal
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:
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.
Riccardo Focardi, Universita' Ca' Foscari di Venezia
Last change: November 28, 2006