Computational and logical foundations of 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, work 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 protocols and systems. However, this is not the end of the story. The increasing sophistication 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 or protocol does not guarantee security in the end product. We are developing techniques that facilitate verification of the security of complex systems and protocols.