Automatic Verification of Differential Characteristics: Application to Reduced Gimli
Fukang Liu, Takanori Isobe, Willi Meier
2020年份
24被引次数
1顶会引用
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
引用它的顶会 Paper1
- New Records in Collision Attacks on SHA-2Yingxin Li, Fukang Liu, Gaoli WangEUROCRYPT 2024 · 被引用 14 次
相关 Paper
- Gröbner Basis Cryptanalysis of AnemoiLuca Campa, Arnab RoyEUROCRYPT 2025 · 被引用 1 次
- Round-Based Approximation of (Higher-Order) Differential-Linear Correlation - A Geometric Approach PerspectiveKai Hu, Zhongfeng Niu, Meiqin WangEUROCRYPT 2026 · 被引用 1 次
- Verification of ORM-based Controllers by Summary InferenceGeetam Chawla, Navneet Aman, Raghavan Komondoor, Ashish Bokil 等ICSE 2022 · 被引用 2 次
- Credit Without Debit: Formal Verification of Banking Payment SystemsAli Hamza Malik, Muhammad Taqi RazaCCS 2026
- Collision Attacks on Round-Reduced SHA-3 Using Conditional Internal DifferentialsZhongyi Zhang, Chengan Hou, Meicheng LiuEUROCRYPT 2023 · 被引用 8 次
