TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols

许多网络协议在设计时没有考虑安全性，许多加密方案在设计时也没有考虑实际部署。此外，大多数安全增强的通信协议仍然缺乏可证明的安全处理，从而缺乏安全保障。该项目旨在通过开发一个新的通用安全框架来促进对实际网络协议的可证明安全分析，从而弥合协议设计、实现、部署和安全保证之间的差距。该项目具有跨学科的方法，因为它将应用密码学和算法的概念与实施和经验分析相结合，为研究和开发安全通信协议提供了一个统一的框架。这种联合设计工作既产生了新的加密基础，又产生了从根本上安全的网络协议。

Many networking protocols have been designed without security in mind, and many cryptographic schemes have been designed without practical deployments in mind. Moreover, most of security-enhanced communication protocols still lack the provable-security treatment and hence the security guarantees. This project aims at bridging the gap between protocol design, implementation, deployment, and security guarantees by developing a novel general security framework that facilitates the provable-security analyses of practical networking protocols. The project has an interdisciplinary approach as it combines concepts from applied cryptography and algorithms with implementation and empirical analyses to provide a unifying framework for studying and developing secure communication protocols. This joint design effort yields both new cryptographic foundations and fundamentally secure networking protocols.