[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
SecReT 2007 2nd International Workshop on Security and Rewriting Techniques http://www.rdp07.org/secret.html June 29, 2007 Paris, France A satellite event of RDP 2007 ====================================================================== 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 * Submissions: Monday, April 23 * Notification: Monday, May 21 * Final version due: Friday, June 8 SUBMISSION GUIDELINES Authors are invited to submit a paper (max. 10 pages) in PDF/PostScript format by e-mail by April 23, 2007. Instructions will be published on the workshop webpage http://www.rdp07.org/secret.html 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 DMTCS. INVITED SPEAKER * Thomas Genet (Rennes, France) PROGRAM COMMITTEE * Véronique Cortier (Nancy, France) * Maribel Fernández (London, UK) * Paliath Narendran (Albany, NY, USA) * Monica Nesi (L'Aquila, Italy), co-chair * Tobias Nipkow (München, Germany) * Hitoshi Ohsaki (Osaka, Japan) * Graham Steel (Edinburgh, UK) * Mark-Oliver Stehr (Stanford, CA, USA) * Ralf Treinen (Cachan, France), co-chair * Luca Viganò (Verona, Italy)