[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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