LICS'07 and ICALP'07 Affiliated Workshop on

Foundations of Computer Security
Automated Reasoning for Security Protocol Analysis


Wrocław, Poland, July 8, 2007

Home. Invited Talk. Accepted Papers. Program and Proceedings. Background, aim and scope. Submission. Important dates. Publication. Audience. PC. Additional information.

Invited Talk

Accepted Papers

Camera-ready papers should be at most 18 pages (a4paper, 11pt) in the Springer LNCS style.
Authors should send us (at the address
fcs-arspa06) the pdf of their paper as well as all the sources, so that we can compile the paper ourselves and produce the proceedings.

Program and Proceedings


FCS-ARSPA'07 and the 3rd Workshop on Cryptography for Ad hoc Networks (WCAN'07) will be held back-to-back and will share the invited talk of Srdjan Capkun:

08:50 - 09:00 Welcome
09:00 - 09:30 FCS-ARSPA
Toby Murray and Gavin Lowe
Authority Analysis for Least Privilege Environments
09:30 - 10:00 FCS-ARSPA
Richard Change and Vitaly Shmatikov
Formal Analysis of Authentication in Bluetooth Device Pairing
10:00 - 10:30 FCS-ARSPA
Todd Andel and Alec Yasinsac
Automated Security Analysis of Ad Hoc Routing Protocols
10:30 - 11:00 FCS-ARSPA
Ender Yuksel, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen, and Mehmet Bulent Orencik
A Secure Simplification of the PKMv2 Protocol in IEEE 802.16e-2005
11:00 - 11:30 Coffee break
11:30 - 12:00 FCS-ARSPA
Stephanie Delaune and Veronique Cortier
Deciding knowledge in security protocols for monoidal equational theories
12:00 - 12:30 FCS-ARSPA
Adel Bouhoula and Florent Jacquemard
Verifying Regular Trace Properties of Security Protocols with Explicit Destructors and Implicit Induction
12:30 - 13:00 FCS-ARSPA
Simon Kramer
The Meaning of a Cryptographic Message via Hypothetical Knowledge and Provability
13:00 - 14:00 Lunch
14:00 - 14:30 FCS-ARSPA
Zhiyao Liang and Rakesh Verma
Secrecy Checking of Protocols: Solution of an Open Problem
14:30 - 15:00 FCS-ARSPA
Kazuki Yoneyama, Yuichi Kokubun and Kazuo Ohta
A Security Analysis on Diffie-Hellman Key Exchange against Adaptive Adversaries using Task-Structured PIOA
15:00 - 16:00 Invited Talk FCS-ARSPA & WCAN
Srdjan Capkun
From Securing Navigation Systems to Securing Wireless Communication Through Location-Awareness
16:00 - 16:30 Coffee break
16:30 - 17:00 WCAN
Vanesa Daza, Javier Herranz, Paz Morillo and Carla Rafols
Ad-hoc Threshold Broadcast Encryption with Shorter Ciphertexts
17:00 - 17:30 WCAN
Nouha Oualha and Yves Roudier
Securing Ad Hoc Storage through Probabilistic Cooperation Assessment
17:30 - 18:00 WCAN
Keith M. Martin and Maura Paterson
An Application-Oriented Framework for Wireless Sensor Network Key Establishment
18:00 - 18:20 WCAN
Maarit Hiealahti
A Clustering-based Group Key Agreement Protocol for Ad-Hoc Networks (work in progress)
18:20 - 18:40 WCAN
Giovanni Di Crescenzo
A Survey on Cryptography for Vehicular Networks
18:40 - 19:00 WCAN
Sylvia Encheva and Sharil Tumin
Security Administration of Protected Web Resources (work in progress)
20:30 - Workshop dinner

The workshop dinner will take place at the restaurant AKROPOLIS, Pl. Solny 18/19, 50-060 Wroclaw.
Thanks to Marcin, who booked the place for us, there is a table booked under "Marcin Bienkowski, University of Wroclaw", at around 20:30.
The webpage is a little bit outdated, and I guess the link to "menu" does not work, but nevertheless: akropolis.
The map from their page is here.

Background, aim and scope

Computer security is an established field of computer science of both theoretical and practical significance. In recent years, there has been increasing interest in logic-based foundations for various methods in computer security, including the formal specification, analysis and design of security protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis.

The workshop FCS-ARSPA'07 is the second edition of the fusion of two workshops: FCS and ARSPA, which joined forces in 2006 for FCS-ARSPA'06, which was affiliated to LICS'06, in the context of FLoC'06.
The workshop FCS continues a tradition, initiated with the Workshops on Formal Methods and Security Protocols (FMSP) in 1998 and 1999, then with the Workshop on Formal Methods and Computer Security (FMCS) in 2000, and finally with the LICS satellite Workshop on Foundations of Computer Security (FCS) in 2002 through 2005, of bringing together formal methods and the security community.
ARSPA is a series of workshops on Automated Reasoning for Security Protocol Analysis, bringing together researchers and practitioners from both the security and the formal methods communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. The first two ARSPA workshops were held as satellite events of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04) and of the 32nd International Colloquium on Automata, Languages and Programming (ICALP'05), respectively.
The aim of the joint workshop FCS-ARSPA'07 is to provide a forum for continued activity in these areas, to bring computer security researchers in closer contact with the LICS and ICALP communities, and to give LICS and ICALP attendees an opportunity to talk to experts in computer security. We thus solicit submissions of papers both on mature work and on work in progress.

We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories, as well as in new results on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols.
Possible topics include, but are not limited to:
Automated reasoning techniques
Composition issues
Formal specification
Foundations of verification
Information flow analysis
Language-based security
Logic-based design
Program transformation
Security models
Static analysis
Statistical methods
Trust management
for Access control and resource usage control
Availability and denial of service
Covert channels
Integrity and privacy
Intrusion detection
Malicious code
Mobile code
Mutual distrust
Security policies
Security protocols
All submissions will be peer-reviewed. Authors of accepted papers must guarantee that their paper will be presented at the workshop.


Submissions should be at most 15 pages (a4paper, 11pt), including references, in the Springer LNCS style available at the URL
The cover page should include title, names of authors, co-ordinates of the corresponding author, an abstract, and a list of keywords.
It is recommended that submissions adhere to the specified format and length. Submissions that are clearly too long may be rejected immediately.
Additional material intended for the referees but not for publication in the final version - for example details of proofs - may be placed in a clearly marked appendix that is not included in the page limit.
Simultaneous submissions to a journal or another conference are accepted, unless the rules for the journal or the other conference exclude such a possibility. If the paper is accepted to both FCS-ARSPA'07 and the other venue, it is the responsibility of the authors to promptly notify FCS-ARSPA'07 chairs and to acknowledge copyright holders.

Authors are invited to submit their papers electronically, as portable document format (pdf) or postscript (ps); please, do not send files formatted for work processing packages (e.g., Microsoft Word or Wordperfect files).

The only mechanism for paper submissions is via the

electronic submission web-site (
Please, follow the instructions given there.

Important dates

Papers due: April 15, 2007
Notification of acceptance: May 20, 2007
Final papers: June 10, 2007
Workshop: July 8, 2007


Informal proceedings will be made available in electronic format and they will be distributed to all participants of the workshop.

A journal special issue associated to the workshop (but open also to non-participants, in all cases with fresh reviewing) is planned.


Participation to the workshop will be open to anybody willing to register.

Program Committee

FCS Steering Committee

Additional Information

Information about registration, travel, and venue can be found at the
LICS'07 web-site and on the ICALP'07 web-site.

For further information send an email to the workshop co-chairs.

Last modified: Mon May 8 10:27:24 CEST 2006