FCC 2007

July 4-5, 2007       Venice, Italy organised and funded by ARTIST 

Call for Papers

Background, aim and scope

Cryptographic protocols are small distributed programs that add security services, like confidentiality or authentication, to network communication. Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and probability. The other approach relies on a symbolic model of protocol executions in which cryptographic primitives are black boxes.
The workshop focuses on the relation between the symbolic (Dolev-Yao) model and the computational (complexity-theoretic) model. Recent results have shown that in some cases the symbolic analysis is sound with respect to the computational model. Recent results have shown that in some cases the symbolic analysis is sound with respect to the computational model. A more direct approach which is also investigated considers symbolic proofs in the computational model. The workshop seeks results in any of these areas, and more generally, in the area of system and program verification for security and cryptography. The workshop seeks results in any of these areas.

Important dates

  • Deadline for submission: Monday, April 16 2007
  • Notification of acceptance/rejection: Wednesday, May 9 2007
  • Final version due: Monday, June 4 2007
  • Workshop: July 4-5 2007

    Submission

    The authors should submit a 3 page extended abstract that will be peer-reviewed by our program committee. The workshop does not have formal proceedings, but informal proceedings of the workshop will appear as an INRIA research report.
    To submit a paper go to http://www.easychair.org/FCC07/.

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet