[TYPES/announce] Call for Participation: 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06)

[David Sands]

CALL FOR PARTICIPATION

The 4th ACM Workshop on
Formal Methods in Security Engineering:
>From Specifications to Code
http://www.cs.chalmers.se/~dave/FMSE06/

Friday November 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)
http://www.acm.org/sigs/sigsac/ccs/CCS2006/

ONLINE REGISTRATION

http://www.regonline.com/Checkin.asp?EventId=107024

SCOPE

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.

FMSE aims 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.

PROGRAM CHAIRS

Andrew D. Gordon, Microsoft Research, UK
David Sands, Chalmers University of Technology, Sweden

PROGRAM COMMITTEE

Michael Backes, Saarland University, Germany
Jason Crampton, Royal Holloway, University of London, UK
Virgil Gligor, University of Maryland, USA
Andrew D. Gordon, Microsoft Research, UK
Jean Goubault-Larrecq, CNRS and ENS, Cachan, France
Alan Jeffrey, Bell Labs, USA
Trevor Jim, AT&T Research, USA
Heiko Mantel, RWTH Aachen, Germany
Riccardo Pucella, Northeastern University, USA
John Rushby, SRI, USA
Mark Ryan, University of Birmingham, UK
Pierangela Samarati, University of Milan, Italy
David Sands, Chalmers University of Technology, Sweden
Luca Viganò, ETH Zurich, Switzerland
Steve Zdancewic, University of Pennsylvania, USA

FMSE STEERING COMMITTEE

Michael Backes, Saarland University, Germany
David Basin, ETH Zurich, Switzerland
Michael Waidner, IBM Zurich Research Lab, Switzerland

INVITED TALKS

Searching for shapes
Joshua Guttman, Mitre Corporation, USA

Encoding Information Flow in Haskell
Steve Zdancevic, University of Pennsylvania, USA

CONTRIBUTED PAPERS

Securing the Drop-Box Architecture for Assisted Living
Michael J. May, Wook Shin, Carl A. Gunter and Insup Lee

P-Congruences as Non-Interference for the pi-calculus
Silvia Crafa and Sabina Rossi

An Intruder Model for Verifying Liveness in Security Protocols
Jan Cederquist and Muhammad Torabi Dashti

Secure Information Flow with Random Assignment and Encryption
Geoffrey Smith and Rafael Alpizar

Defeasible Security Policy Composition for Web Services
Adam J. Lee, Jodie Boyer, Lars E. Olson and Carl A. Gunter

NETRA: Seeing Through Access Control
Prasad Naldurg, Stefan Schwoon, Sriram Rajamani and John Lambert

Bridging the Gap Between Web Application Firewalls and Web Applications
Lieven Desmet, Frank Piessens, Wouter Joosen and Pierre Verbaeten