研究方向

中文主页 >>研究方向

对称密码学可证明安全基础

此方向专注于研究对称密码学可证明安全所依据的模型、假设、证明技术等,以及特定的安全模型与现实的关联。例如

  1. 抗泄露认证加密安全模型的规范化(一种方式):https://eprint.iacr.org/2018/484

  2. 削弱抗泄露消息认证方案所依赖的假设:https://eprint.iacr.org/2019/1413

  3. 抗泄露假设与方案与现实侧信道攻击的关联:https://eprint.iacr.org/2020/211

  4. 如何论证基于sponge与duplex结构的认证加密的抗泄露安全性:https://eprint.iacr.org/2019/193

  5. 已知密钥与选择密钥区分器对高层次密码系统安全性的影响:没有公开的文稿