Cryptographic Protocol Security

点击翻译按钮获取中文摘要

When cryptographic primitives are combined to construct a protocol, it can be difficult to give guarantees about its security. Even if such guarantees are given in the form of a formal proof, they sometimes rely on incorrect assumptions or do not accurately model the security properties they advertise or that the users expect. This project aims to study how this can lead to attacks, and investigate how the gaps between theory and practice could be bridged.