fmse-logo      sigsac-logo

The 4th ACM Workshop on
Formal Methods in Security Engineering:
From Specifications to Code

Friday Nov. 3, 2006,
Johnson Center, George Mason University, Fairfax, Virginia, USA

held in conjunction with the
13th ACM Conference on Computer and Communications Security (ACM CCS'06)

Final Programme (PDF version)

including invited talks from Joshua Guttman (Mitre Corporation) and Steve Zdancewic (University of Pennsylvania).

Registration * Scope * Committee * Important dates * Additional information


Information security has become a crucial concern for the commercial deployment of almost all applications and middleware. Although this is commonly recognized, the incorporation of security requirements in the software development process is not yet well understood. The deployment of security mechanisms is often ad hoc, without a formal security specification or analysis, and practically always without a formal security validation of the final product. Progress is being made, but there remains a wide gap between high-level security models and actual code development.

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 covered include, but are not limited to: All the FMSE workshops have been co-located with CCS, with proceedings published by the ACM. FMSE 2006 is the fourth in the series. (Previous proceedings).

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 ACM.

Program Chairs

Program Committee

FMSE Steering Committee

Submission Guidelines

Submissions must be received by June 16, 2006 to be considered. If you have problems, please contact the program chairs.

Submissions must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings.

The paper must list all authors and their affiliations. It should begin with a title, a short abstract, and a list of key words, and its introduction should summarize the contributions of the paper at a level appropriate for a non-specialist reader. The 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.

Papers must be submitted via the electronic submission page:
electronic submission site (
Please follow the instructions given there.

Important dates

Submission deadline: Friday June 16, 2006
Author notification: Friday July 28, 2006
Camera-ready deadline: Monday August 21, 2006
CCS main conference: Monday October 30 - Thursday November 2, 2006
FMSE Workshop: Friday November 3, 2006

Additional Information

For further information send an email to the workshop co-chairs.

Last modified: Tue Oct 24 10:02:05 CEST 2006