CALL FOR PAPERS The 6th ACM Workshop on Formal Methods in Security Engineering held in conjunction with the ACM CCS'08 October 27, 2008, Hilton Alexandria Mark Center, Virginia, USA http://www.cs.utexas.edu/~shmat/FMSE08/ We aim to bring together researchers and practitioners from both the security and the software engineering communities, from academia and industry, who are working on applying formal methods to the design and validation of large-scale systems. We seek original research papers addressing foundational issues in formal methods in security engineering. Topics include, but are not limited to: * security requirements and risk analysis; * access control models, information flow models, and trust models; * specification and analysis of security properties; * stepwise development by refinement and composition; * computationally sound abstraction; * program logics and type systems for security; * techniques for verification and static analysis; * tool support for the development and analysis of security-critical systems; * design and analysis of security protocols; * security aspects of operating systems and middleware; * case studies. As in previous years, FMSE 2008 is co-located with the ACM Conference on Computer and Communications Security (CCS). All submissions will be peer-reviewed. Authors of accepted papers must guarantee that their paper will be presented at the workshop. Final proceedings will be published by the ACM. Submissions must be received by Friday, May 16, 2008 to be considered. For submitting a paper, follow the guidelines on the FMSE'08 webpage at http://www.cs.utexas.edu/~shmat/FMSE08/ . Submissions must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. The article must list all authors and their affiliations. It should begin with a title, a short abstract, and a list of keywords, and its introduction should summarize the contributions of the paper at a level appropriate for a non-specialist reader. The submitted paper should be at most 12 pages excluding the bibliography and clearly marked appendices, and at most 15 pages in total, using at least 11-point font, reasonable margins, and page numbers on each page. Committee members are not required to read appendices; the paper should be intelligible without them. The document must be in Acrobat PDF format, and must be legible after printing on standard grayscale printers, both those that use A4 and those that use 8-1/2x11" paper. Submissions not meeting these guidelines risk rejection without consideration of their merits. Camera-ready versions of accepted papers will be limited to 10 pages in total using the ACM conference style. Program Chair Vitaly Shmatikov (The University of Texas at Austin, USA) Program Committee Michael Backes (Saarland University, Germany) Adam Barth (Stanford University, USA) Karthikeyan Bhargavan (Microsoft Research, UK) Avik Chaudhuri (UC Santa Cruz, USA) Stephanie Delaune (ENS de Cachan, France) Aaron Johnson (Yale University, USA) Steve Kremer (ENS de Cachan, France) Ralf Küsters (University of Trier, Germany) Peeter Laud (University of Tartu, Estonia) Heiko Mantel (TU Darmstadt, Germany) David Naumann (Stevens Institute of Technology, USA) Dominique Unruh (Saarland University, Germany) Bogdan Warinschi (University of Bristol, UK) Steve Zdancewic (University of Pennsylvania, USA) Important dates: Submission deadline: May 16, 2008 Notification of acceptance: July 9, 2008 Final version (firm): August 10, 2008 Workshop: October 27, 2008 Workshop webpage: http://www.cs.utexas.edu/~shmat/FMSE08/