[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: ACM Workshop on Formal Methods in Security Engineering (FMSE)

[[Apologies if you receive multiple copies of this CFP or
  if you receive it in error]]


			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


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: