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.

Of course formal frameworks are of fundamental interest to model, analyse and prove security concerns. Many such frameworks have been used for these purposes, either first or higher-order, automatic or assisted. For example, formal theories to validate security policies have used first-order theorem provers, purpose-built logics, or flow-analysis.

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. Another interest of the rewriting framework is its expressivity as rewriting elegantly encompasses several computation paradigms, including functional, logic, imperative and concurrent ones.

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.


  • Deadline for submission to post-workshop proceedings: 16 October 2006
  • Notification: 15 December 2006
  • Final versions due: 30 January 2007


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

For further information consult the ICALP 2006 web site: