Links Venue Conferences SecReT series

SecReT 2008

3rd International Workshop on Security and Rewriting Techniques

Sunday, June 22, 2008, Pittsburgh, USA
Affiliated workshop of CSF

Topics of Interest

The aim of this workshop 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.

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

Important Dates

Abstract Submission April 18, 2008 Extended
Full Paper Submission April 20, 2008 Extended
Acceptance Notification     May 12, 2008
Camera Ready May 26, 2008
Workshop June 22, 2008

Invited Speakers

Program Committee

Submission Procedure

Submission is web-based via this link. Submissions must be received by April 6, 2008. In addition, an ASCII version of the title and abstract must have been submitted by March 31, 2008. Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at


Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS, ISSN: 1571-0661).


SecReT'08 will be held in June at Carnegie-Mellon University, co-located with 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) and 21st IEEE Computer Security Foundations Symposium (CSF 2008) as well as other workshops.

Last modified: Sat Jun 21 09:15:40 EDT 2008