The 8th International Workshop on Formal Aspects of Security & Trust (FAST2011) Leuven, Belgium. September 15-16, 2011 http://www.iit.cnr.it/FAST2011/Unico.htm FAST2011 is co-located with European Symposium on Research in Computer Security (ESORICS 2011) Leuven, Belgium 12-14 September, 2011 OVERVIEW The eighth International Workshop on Formal Aspects of Security and Trust (FAST2011) aims at continuing the successful efforts of the previous FAST workshops, fostering cooperation among researchers in the areas of security and trust. Computing and network infrastructures have become pervasive, and now support a great deal of economic activity. Thus, society needs suitable security and trust mechanisms. Interactions increasingly span several enterprises and involve loosely structured communities of individuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions effectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST focuses on the formal models of security and trust that are needed to state goals and policies for these interactions. We also seek new and innovative techniques for establishing consequences of these formal models. Implementation approaches for such techniques are also welcome. IMPORTANT DATES Title/Abstract Submission: 1 June 2011 Paper submission: 5 June 2011 Author Notification: 20 July 2011 Pre-proceedings version: 1 September 2011 Workshop: 15-16 September 2011 Post-proceedings version: 1 November 2011 Invited speakers: Andy Gordon (Microsoft Research) Fabio Massacci (University of Trento) PROGRAMME COMMITTEE Gilles Barthe, IMDEA Software, Spain (co-chair) Konstantinos Chatzikokolakis, École Polytechnique, France Stephen Chong, Harvard University, USA Michael Clarkson, Cornell University, USA Ricardo Corin, FaMAF, Universidad Nacional de Córdoba, Argentina Cas Cremers, ETH Zurich, Switzerland Anupam Datta, Carnegie Mellon University, USA (co-chair) Sandro Etalle, TU Eindhoven and Univ. of Twente, Netherlands (co-chair) Cedric Fournet, Microsoft Research, UK Deepak Garg, Carnegie Mellon University, USA Peter Herrmann, NTNU Trondheim, Norway Bart Jacobs, Radboud University Nijmegen, Netherlands Christian Damsgaard Jensen, Technical University of Denmark, Denmark Steve Kremer, LSV, ENS Cachan, CNRS, INRIA, France Fabio Martinelli, CNR, Italy Fabio Massacci, University of Trento, Italy Sjouke Mauw, University of Luxemburg, Luxembourg Mogens Nielsen, Aarhus, Denmark Mark Ryan, University of Birmingham, UK Ron van der Meyden, University of New South Wales, Australia Luca Vigano', Universita` di Verona, Italy ORGANIZERS Gilles Barthe, IMDEA Software, Spain Anupam Datta, Carnegie Mellon University, USA Sandro Etalle, TU Eindhoven and Univ. of Twente CONTACTS Organizers can be reached at fast-2011'at'lists.andrew.cmu.edu Latest updates about FAST 2011 will be regularly posted to security@fosad.org (a mailing list for the scientific community interested in computer security). PAPER SUBMISSION Suggested submission topics include, but are not limited to: Formal models for security, trust and reputation Security protocol design and analysis Logics for security and trust Trust-based reasoning Distributed trust management systems Digital asset protection Data protection Privacy and ID management issues Information flow analysis Language-based security Security and trust aspects in ubiquitous computing Validation/Analysis tools Web/Grid services security/trust/privacy Security and risk assessment Resource and access control Case studies SUBMISSION GUIDELINES We seek papers presenting original contributions. Two types of submissions are possible: 1) short papers, up to 5 pages in LNCS format. 2) full papers, up to 15 pages in LNCS format. Submissions should clearly state their category (1 or 2). Author's full name, address, and e-mail must appear on the first page. Short papers as well as full papers will be included in the informal proceedings distributed at the workshop. After the workshop, authors of short papers which are judged mature enough for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures, an:d accepted papers will be published in the post-proceedings in LNCS. Simultaneous submission of full papers to a journal or conference/workshop with formal proceedings justifies rejection. Short papers at FAST are not formally published, so this restriction does not apply to them. However, related publications and overlapping submissions must be cited explicitly in short papers. PROCEEDINGS As done for the previous issues of FAST, the post-proceedings of the workshop will be published in LNCS. A special journal issue is also planned. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]