The 8th International Workshop on Formal Aspects of Security & Trust (FAST2011)
		Leuven, Belgium.  September 15-16, 2011

FAST2011 is co-located with European Symposium on Research in Computer Security
(ESORICS 2011) Leuven, Belgium 12-14 September, 2011


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.


Title/Abstract Submission: 15 June 2011 
Paper submission: 19 June 2011	
Author Notification: 30 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)


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


Gilles Barthe, IMDEA Software, Spain 
Anupam Datta, Carnegie Mellon University, USA 
Sandro Etalle, TU Eindhoven and Univ. of Twente


Organizers can be reached at fast-2011'at'

Latest updates about FAST 2011 will be regularly posted to
(a mailing list for the scientific community interested in computer security).


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  


We seek papers presenting original contributions. Two types of submissions are

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.


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.