主要网站

FCS-FCC 2014的权威网站是网址：http://software.imdea.org/~bkoepf/FCS-FCC14/。有关最新信息，请参阅。

利息

计算机安全是一个既有理论意义又有实际意义的计算机科学领域。近年来，人们一直对计算机安全中各种方法的基于逻辑的基础感兴趣，包括密码协议及其应用的形式化规范、分析和设计；安全各个方面的正式定义，如访问控制机制、移动代码安全和拒绝服务攻击；信息流建模及其在保密策略、系统组成和隐蔽通道分析中的应用。

FCS-FCC 2014研讨会的目的是为该领域的持续活动提供一个论坛。从历史上看，FCS有助于让计算机安全研究人员与LICS社区进行更密切的联系，并为LICS与会者提供了与计算机安全专家对话的机会。FCC传统上隶属于CSF，它提供了一个专用的场所来展示计算声音密码协议分析领域的最新进展。这两个领域——逻辑基础和协议分析——都是CSF社区的大子集感兴趣的领域。

我们既对计算机安全理论的新成果感兴趣，也对更具探索性的演示文稿感兴趣，这些演示文稿审查了开放性问题，并提出了对现有理论的基本关注，以及在开发和应用自动推理技术和工具以对安全协议进行形式化规范和分析方面取得的新成果。因此，我们要求提交关于成熟工作和正在进行的工作的论文。

受邀演讲人

• 于利·毛雷尔（苏黎世以太银行）
• 格雷厄姆钢铁公司（加密，印度）

提交

FCS-FCC’14欢迎两种提交：

• 简短摘要（1页，包括参考文献和附录）
• 全文（最多12页，不包括参考文献和标记良好的附录）

简短的摘要和完整的论文一样会受到严格的审查。根据被接受的提交数量，简短摘要在研讨会上的发言时间可能比完整论文短。论文应使用IEEE会议出版服务页面上可用于各种文件准备系统的两列IEEE会议记录风格提交。

封面应包括标题、作者姓名、对应作者的坐标、摘要和关键词列表。委员会成员不需要阅读附录，因此，没有附录，论文必须易懂。不遵守页数限制的论文将被拒绝，而不考虑其优点。

请作者通过EasyChair提交网页.请，不要发送为字处理软件包格式化的文件（例如，Microsoft word或WordPerfect文件）。 

重要日期

提交文件：	2014年4月25日（扩展！）
中标通知书：	2014年5月30日
期末论文：	2014年6月25日
研讨会：	2014年7月18日

非正式程序

该讲习班没有公布会议记录。在研讨会上提交论文不应妨碍提交给其他场所或在其他场所发表。研讨会上提交的论文将公开发表，但这不构成正式程序。

项目委员会

• 佩德罗·阿德诺（SQIG、IST、里斯本）
• 马里奥·阿尔维姆（米纳斯杰拉斯联邦大学）
• 阿斯兰·阿斯卡洛夫（哈佛大学工程与计算机科学学院）
• 迈克尔·克拉克森（乔治华盛顿大学）-主席
• 休伯特·科蒙·隆德（LSV、CNRS和ENS）
• 维罗妮克·科尔蒂尔（CNRS，Loria）
• Catalin Hritcu公司（INRIA Paris-Rocquencourt）
• 李敏佳（卡内基梅隆大学）
• 丹·基弗（宾夕法尼亚州）
• 马苏德·科莱尼（乔治华盛顿大学）
• 拉尔夫·库斯特（特里尔大学）
• 鲍里斯·科普夫（IMDEA软件研究所）-主席
• 马泰奥·马菲（萨尔州大学CISPA）-主席
• 卡罗尔·摩根（新南威尔士大学）
• 亚历杭德罗·拉索（查尔默斯理工大学）
• 本·斯迈思（印度）
• Pierre-Yves支柱（IMDEA软件）
• 尼基尔·斯瓦米（微软研究院）
• 塔奇·特劳奇（名古屋大学）
• 多米尼克·恩鲁（萨尔州大学）
• 杰弗里·沃恩（逻辑箱）
• 圣地亚哥·扎内拉·贝格林（微软研究院）