Ca' Foscari logo SecReT 2006
1st International Workshop on Security and Rewriting Techniques

July 15, 2006
S. Servolo, Venice - Italy


With the increasing use of digital communication, network-based applications and mobile code, software, system and data security are key issues affecting everybody, from individuals to industry and governments. Formal frameworks are of fundamental interest to model, analyse and prove properties of security policies. Many such frameworks have been used for these purposes, for example, logics, flow-analysis techniques, and semi-automated theorem provers.

Rewriting techniques have been successfully applied to many domains in the last 20 years. They have had deep influence in the development of computational models, programming and specification languages, theorem provers and proof assistants. Recently, rewriting techniques have also been fruitfully used to develop powerful results on security. For example, for performing validations on policy specifications, analysis of cryptographic protocols, and to specify security policies controlling information leakage, to mention just a few. The theory of rewriting can provide a formal basis for the study of a broad range of security issues, ranging from the specification, implementation, and validation of access control policies, to the analysis of logs and the development of tools for intrusion detection.

In this context, the aim of this workshop is to bring together researchers who are currently working in the area of rewriting and security experts, in order to foster their interaction and develop future collaborations in this area, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.


The workshop focuses on the use of rewriting techniques in all aspects of security. Specific topics include: authentication, encryption, access control and authorisation, protocol verification, specification of policies, intrusion detection, integrity of information, control of information leakage, control of distributed and mobile code, etc.


Authors are invited to submit an abstract (max. 5 pages) in PDF/PostScript format by e-mail to by 30 April 2006.

Preliminary proceedings will be available at the workshop. After the workshop authors will be invited to submit a full paper of their presentation. We plan to publish the accepted contributions in ENTCS.


  • Submissions: May 15, 2006
  • Notification: May 21, 2006
  • Final version due: June 11, 2006


  • Steve Barker, King's College London (UK)
  • Gilles Barthe, INRIA Sophia-Antipolis (France)
  • Iliano Cervesato, Tulane University (USA)
  • Horatiu Cirstea, LORIA (France)
  • Hubert Comon, LSV (France)
  • Mariangiola Dezani, University of Torino (Italy)
  • Rachid Echahed, VERIMAG (France)
  • Maribel Fernández, King's College London (UK) - PC Co-Chair
  • Thérčse Hardin, University of Paris 6 (France)
  • Claude Kirchner, LORIA (France) - PC Co-Chair
  • Luca Vigano, ETH Zurich (Switzerland)
  • Nobuko Yoshida, Imperial College London (UK)


Horatiu Cirstea
Université Nancy II & LORIA
Maribel Fernández
King's College London
Claude Kirchner

For further information consult the ICALP 2006 web site: