Foundational studies in privacy and security

对计算机和通信系统安全的需求从未像现在这样大。在网络环境中发生的计算量的增加使系统面临重大的安全威胁。幸运的是，在过去的三十年中，对安全和密码学的研究已经导致了可以用于保护系统的复杂技术和工具。在许多情况下，存在稳定的安全原语，可用于更复杂的安全方案和协议。然而，这并不是故事的结尾。安全系统的日益复杂导致需要新的建模、验证和测试工具。特别是，系统中使用的构建块的安全性并不能保证最终产品的安全性。对使用安全密码原语的复杂系统的安全性进行形式化验证的工具和技术的开发仍然是一个重大挑战。这些工具和技术的发展是我们研究计划的主要重点。

The need for security in computer and communication systems has never been greater. The increase in the amount of computation taking place in networked settings exposes systems to significant security threats. Fortunately, research in security and cryptography over the past thirty years has led to sophisticated techniques and tools which may be used in securing systems. In many cases, there are stable secure primitives which may be used in more complex security schemes and protocols. However, this is not the end of the story. The increasing complexity of security systems leads to a need for new tools for modeling, verification and testing. In particular, the security of the building blocks used in a system does not guarantee security in the end product. It remains a major challenge to develope tools and techniques for the formal validation of security of complex systems which use secure cryptographic primitives. The development of such tools and techniques is a major focus of our research programme.