Workshop on Formal Methods for Security (November 2015)

安全正式方法研讨会（2015 年 11 月）

• 批准号: 1551249
• 负责人: Stephen Chong
• 金额: $ 8.83万
• 依托单位: Harvard University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-08-15 至 2017-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1551249&HistoricalAwards=false
• 关键词: Workshop; Formal; Methods; Security; November

This aim of this workshop is to identify existing successes and opportunities for applying formal methods to security problems, and raise awareness of these opportunities in relevant communities, including academia, industry, and government research labs. The workshop will bring together researchers from academia, industry, and government research labs that are working in the areas of security and formal methods, and researchers currently applying formal methods to security problems. Workshop participants will identify current and forthcoming computer security challenges, and identify opportunities to apply formal methods to meet these challenges. The main deliverable of the workshop will be a report summarizing the discussions and findings of the workshop, which will be publicly available. By enabling leading researchers to engage with security problems using a richer palette of formal methods, the workshop will promote more robust security across a wide range of socially central types of system. It should stimulate development of better ways to design and implement future secure systems; better ways to determine whether existing systems are vulnerable; and better ways to assess the consequences of existing vulnerabilities. The workshop will also enrich the experience of graduate students who can participate and also assist by taking notes and providing materials for the report. Early career researchers such as post-docs will also be included.

本研讨会的目的是确定将正式方法应用于安全问题的现有成功和机会，并提高相关社区(包括学术界、工业界和政府研究实验室)对这些机会的认识。研讨会将汇集来自学术界、工业界和政府研究实验室的研究人员，这些实验室致力于安全和正式方法领域的研究，以及目前正在将正式方法应用于安全问题的研究人员。研讨会参与者将确定当前和即将面临的计算机安全挑战，并确定应用正式方法应对这些挑战的机会。研讨会的主要成果将是一份总结研讨会讨论和结果的报告，这份报告将向公众提供。通过使领先的研究人员能够使用更丰富的正式方法来处理安全问题，研讨会将在广泛的社会中心类型的系统中促进更强大的安全。它应促进开发更好的方法来设计和实施未来的安全系统；更好地确定现有系统是否易受攻击；以及更好地评估现有漏洞的后果。讲习班还将丰富研究生的经验，他们可以参加，并通过为报告做笔记和提供材料来提供帮助。早期职业研究人员，如博士后，也将包括在内。