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.