Invited Talk

Accepted Papers

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:

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

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 Tools Trust management

for

Access control and resource usage control Authentication Availability and denial of service Covert channels Confidentiality Integrity and privacy Intrusion detection Malicious code Mobile code Mutual distrust Privacy 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.

Submission

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

Publication

Audience

Program Committee

• Martín Abadi, University of California at Santa Cruz, USA
• John Mitchell, Stanford University, USA
• Andrei Sabelfeld (chair), Chalmers, Sweden
• Andre Scedrov, University of Pennsylvania, USA
• Luca Viganò, Università di Verona, Italy

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