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.