Sixth Workshop on
Formal and Computational Cryptography
FCC 2010


Previous editions

The first edition of this workshop was held in Paris in June 2005 under the name Workshop on the link between formal and computational models.

FCC'06 was held in Venice on July 9, 2006. It was affiliated with ICALP 2006 and co-located with CSFW 2006 and ICALP 2006.

FCC'07 was held in Venice on July 5, 2007. It was co-located with CSF'07 and the Workshop on the Analysis of Security APIs.

FCC'08 was held in Carnegie Mellon University, Pittsburgh, PA, USA on June 26, 2008. It was affiliated with CSF'08 and co-located with CSF'08 and LICS'08.

FCC'09 was held at Port Jefferson, NY, USA on July 11-12, IT was affiliated with CSF'09 and co-located with CSF'08 and LICS'08.

Page maintained by CÚdric Fournet, last modified on 21/2/2010.