FAST: Formal Aspects in Security and Trust



Past:   Proceedings on DBLP

Future:  Post a CFP for 2012 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FAST 2011 The 8th International Workshop on Formal Aspects of Security & Trust
Sep 15, 2011 - Sep 16, 2011 Leuven, Belgium Jun 5, 2011 (Jun 1, 2011)
FAST 2010 7th International Workshop on Formal Aspects of Security and Trust
Sep 16, 2010 - Sep 17, 2010 Pisa, Italia Jun 20, 2010 (Jun 13, 2010)

Present CFP : 2011

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: 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)


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


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 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, and 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.

Papers should be submitted via the EasyChair system:


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

Related Resources

TASE 2023   Theoretical Aspects of Software Engineering
IEEE COINS 2023   IEEE COINS 2023 - Berlin, Germany - July 23-25 - Hybrid (In-Person & Virtual)
CSW 2023   2023 International Workshop on Cyber Security (CSW 2023)
NISecurity 2023   2023 International Conference on Network and Information Security (NISecurity 2023)
CEVVE 2023   2023 International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2023)
JCRAI 2023-Ei Compendex & Scopus 2023   2023 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2023)
SIPP 2023   11th International Conference on Signal, Image Processing and Pattern Recognition
AAAI Fast Track 2023   The 37th AAAI Conference on Artificial Intelligence (Fast Track)
FLAIRS-36 ST XAI, Bias, and Trust 2023   FLAIRS Special Track on Explainability, Bias, and Trust in Artificial Intelligence