LICS'07 and ICALP'07 Affiliated Workshop on
Foundations of Computer Security
and
Automated Reasoning for Security Protocol
Analysis
FCS-ARSPA'07
Wrocław, Poland, July 8, 2007
Recent rapid development of wireless networks of sensors, actuators and
identifiers dictates the digitalization of our physical world and the
creation of the "internet of things". In this new internet, each wireless
device will sense and provide contextual information, of which crucial
component are locations of devices and objects.
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.
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.
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.Invited Talk
From Securing Navigation Systems to Securing Wireless Communication
Through Location-Awareness
In this talk, we present recent research results in secure computation and
verification of locations of wireless devices: we show that current
localization systems are highly vulnerable to attacks and we demonstrate
that out solutions can prevent these attacks.
We further illustrate how location-awareness can help in solving some of the
fundamental security challenges of wireless networks, e.g., enabling
authenticated and confidential communication without pre-shared keys of
credentials.
Accepted Papers
Camera-ready papers should be at most 18 pages (a4paper, 11pt) in the
Springer LNCS style.
Todd Andel and Alec Yasinsac.
Adel Bouhoula and Florent Jacquemard.
Richard Chang and Vitaly Shmatikov.
Stephanie Delaune and Veronique Cortier.
Simon Kramer.
Zhiyao Liang and Rakesh Verma.
Toby Murray and Gavin Lowe.
Kazuki Yoneyama, Yuichi Kokubun and Kazuo Ohta.
Ender Yuksel, Hanne Riis Nielson, Christoffer Rosenkilde Nielsen and Mehmet Bulent Orencik.
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
Proceedings
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
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 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.
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 |
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
Submission
Submissions should be at most 15 pages (a4paper, 11pt), including
references, in the Springer LNCS style available at the URL
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.
Important dates
Papers due: | April 15, 2007 |
Notification of acceptance: | May 20, 2007 |
Final papers: | June 10, 2007 |
Workshop: | July 8, 2007 |
A journal special issue associated to the workshop (but open also to
non-participants, in all cases with fresh reviewing) is planned.
For further information send an email to the workshop co-chairs.
Publication
Informal proceedings will be made available in electronic format and
they will be distributed to all participants of the workshop.Audience
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.
Last modified: Mon May 8 10:27:24 CEST 2006