Research Focus

基于对称密码算法的高层次密码系统结构:可证明安全及通用攻击

Click:

面对随需求不断涌现的复杂密码学功能,包括消息的认证与加密等传统对称密码学的主要议题,电路混淆等安全多方计算协议常用的功能,及电子货币等新兴应用,一种解决方案是用安全的“小型”对称密码算法(可调分组密码,密码学置换,等)通过特定的结构“拼合”起来,获得一个“大型”密码系统。此方向专注于研究这样的结构,在假设所用“小型”对称密码算法是“理想”密码算法的前提下,依据不同的安全性定义,对结构进行攻击与安全性证明。例如:

  1. 基于可调分组密码的抗泄露认证加密:https://eprint.iacr.org/2019/137

  2. 基于AES的电路混淆与OT extension等:https://eprint.iacr.org/2019/074https://eprint.iacr.org/2019/1168