SecReT - Security and Rewriting Techniques

The aim of this series of workshops is to bring together rewriting researchers 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.

Current event

Past events

• SecReT 2008, 3rd International Workshop on Security and Rewriting Techniques. Associated to the 21st IEEE Computer Security Foundations Symposium CSF'08 and the 23rd IEEE Symposium on Logic in Computer Science LICS'08. Pittsburgh, Pennsylvania, USA, 22 June 2008.
• SecReT 2007, Second International Workshop on Security and Rewriting Techniques. An RDP workshop associated to RTA. Paris, France, 29 June 2007.
• SecReT 2006, First International Workshop on Security and Rewriting Techniques. An ICALP workshop. S. Servolo, Venice, Italy, 15 July 2006.

Publications

Proceedings

• SecReT 2008: ENTCS, Volume 234, Elsevier, 2009
• SecReT 2007: Pre-Workshop Proceedings.
• SecReT 2006: ENTCS, Issue 4 of Volume 171, Elsevier, 2007

• In preparation

Steering Committee

Past members:

Conference Bylaws