Category: Cryptography
Home Research
Kazuma Taka, Kosei Sakamoto, Ryoma Ito, Rentaro Shiba, Shion Utsumi, Takanori Isobe
Divide-and-Conquer SAT for Exploring Optimal Differential and Linear Characteristics and Its Applications
Cryptography

Developing automatic search tools to derive optimal characteristics is crucial for both the design and cryptanalysis of symmetric-key primi...

Review:

The paper, "Divide-and-Conquer SAT for Exploring Optimal Differential and Linear Characteristics and Its Applications," introduces a significant advan...

View Full Research
Thomas Peyrin, Quan Quan Tan, Hongyi Zhang, Chunning Zhou
Trail-Estimator: An Automated Verifier for Differential Trails in Block Ciphers
Cryptography

Differential cryptanalysis is a powerful technique for attacking block ciphers, wherein the Markov cipher assumption and stochastic hypothe...

Review:

This paper introduces Trail-Estimator, an innovative automated verifier designed to address critical limitations in differential cryptanalysis. The au...

View Full Research