fmse-logo      sigsac-logo

The 6th ACM Workshop on
Formal Methods in Security Engineering

Monday, October 27th, 2008
Hilton Alexandria Mark Center, Virginia, US

held in conjunction with the
15th ACM Conference on Computer and Communications Security (ACM CCS 2008)

Program * Registration * Scope * Committee * Submission * Important dates
Call for Papers (pdf) * Call for Papers (txt)


9:20am - 9:30am Welcome

9:30am - 10:30am Session 1 (chair: Avik Chaudhuri)

11:00am - 12:30pm Session 2 (chair: Ralf Küsters)

2:00pm - 3:30pm Session 3 (chair: Karthikeyan Bhargavan)

4:00pm - 5:00pm Session 4 (chair: Vitaly Shmatikov)


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:

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 (previous proceedings).

Program Chair

Program Committee

FMSE Steering Committee

Submission Guidelines

Submissions must be received by Friday, May 16, 2008 to be considered.

Click here to submit a paper via EasyChair

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.

Important Dates

Submission deadline: Friday, May 16, 2008
Author notification: Wednesday, July 9, 2008
Camera-ready deadline:Sunday, August 17, 2008 (firm)
FMSE Workshop: Monday, October 27, 2008
CCS main conference: Monday, October 27 - Friday, October 31, 2008

Last modified: Mon Oct 28 2008