|LinksVenue Conferences SecReT series||
3rd International Workshop on Security and Rewriting Techniques
Affiliated workshop of CSF
Topics of InterestThe 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.
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 http://www.entcs.org.
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