此方向专注于研究对称密码学可证明安全所依据的模型、假设、证明技术等，以及特定的安全模型与现实的关联。例如
抗泄露认证加密安全模型的规范化（一种方式）：https://eprint.iacr.org/2018/484
削弱抗泄露消息认证方案所依赖的假设：https://eprint.iacr.org/2019/1413
抗泄露假设与方案与现实侧信道攻击的关联：https://eprint.iacr.org/2020/211
如何论证基于sponge与duplex结构的认证加密的抗泄露安全性：https://eprint.iacr.org/2019/193
已知密钥与选择密钥区分器对高层次密码系统安全性的影响：没有公开的文稿