Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   Formal and Computational Cryptography (FCC 2006)
From:  
Email:   event_(on)_in.tu-clausthal.de
Date received:   31 Jan 2006
Deadline:   16 Apr 2006
Start date:   09 Jul 2006

Call for Papers Workshop on Formal and Computational Cryptography (FCC 2006) July 9 2006, Venice, Italy co-located with ICALP 2006 http://www.lsv.ens-cachan.fr/FCC2006/ 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. A more direct approach which is also investigated considers symbolic proofs in the computational model. Research that proposes formal models sound for quantum security protocols are also relevant. The workshop seeks results in any of these areas. FCC'06 will be held in Venice, Italy on July 9th, bridging the CSFW and the ICALP conferences. We invite submissions that present original results on the topics of the workshop. We also encourage submissions that describe work in progress or that further publicise interesting results published elsewhere. The main goal of the workshop is to stimulate discussions and new collaborations. Important Dates * Deadline for submission: April 16 2006 * Notification of acceptance/rejection: May 8 2006 * Final version due: June 4 2006 * Workshop: July 9 2006 Program committee * Martín Abadi (University of California, Santa Cruz and MSR, USA) * Bruno Blanchet (ENS Paris, CNRS, France) * Ran Canetti (IBM Research, USA) * Véronique Cortier, co-chair, (LORIA, CNRS, France) * Cédric Fournet (MSR, Cambridge, UK) * Joshua Guttman (MITRE, USA) * Steve Kremer, co-chair, (ENS Cachan, INRIA, France) * Ralf Küsters (Christian-Albrechts-Universität zu Kiel, Germany) * Yassine Lakhnech (Verimag, CNRS, Fran ce) * Daniele Micciancio (University of California, San Diego, USA) * David Pointcheval (ENS Paris, CNRS, France) * Adam Smith (Weizmann Institute of Science, Rehovot, Israel) Submission Instructions 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. Workshop registration is open. Detailed submission instructions will be available at the website soon. For further information please contact the program chairs: fcc2006_(on)_lsv.ens-cachan.fr ------------------------------------------------------------------------ This e-mail was delivered to you by event_(on)_in.tu-clausthal.de, what is a moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. All event announcements sent through this list are also listed in our conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner. In the case of any requests, questions, or comments, do not hesitate and contact event-owner_(on)_in.tu-clausthal.de ASAP. ****************************************************** * CIG does not take any responsibility for validity * * of content of messages sent through this list. * ****************************************************** Computational Intelligence Group Department of Computer Science Clausthal University of Technology Germany http://cig.in.tu-clausthal.de/ _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET