Workshop on Formal Methods for Security (November 2015)

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

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.