机构名称：
¥ 1.0
现代密码学已经摆脱了启发式方法，以证明安全性，并朝着更加数学化的方法来形式化安全性。在这个项目中，学生将学习在基于代码的Bellare和Rogaway的游戏模型中撰写安全性证明的基础知识，并在该领域获得简单的证据。[伸展目标：从这里，学生将为自己选择的简单加密方案写一个新颖的证据。]
MA4198的DSO项目
主要关键词
相关文件推荐
