This helps protect our community. Learn more

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

9.87K subscribers

117 views 3 years ago

Paper by Ling Su, Wei Wang, Meiqin Wang presented at Fast Software Encryption 2022 See https://iacr.org/cryptodb/data/paper..... The conference program is at https://fse.iacr.org/2022/program.php

...more

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

N/ALikes

117Views

2022Mar 17

Paper by Ling Su, Wei Wang, Meiqin Wang presented at Fast Software Encryption 2022 See https://iacr.org/cryptodb/data/paper..... The conference program is at https://fse.iacr.org/2022/program.php

Boolean satisfiability problem (SAT)

2:14

Propagations of differences or linear masks - Step 2

3:35

Observations on auxiliary variables in the sequential counter circuit

8:03

Clausal encoding of the bounding condition

9:00

IACR

9.87K subscribers

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

License

Key moments View all

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

sets of bounding conditions with the same initial/terminal round

sets of bounding conditions with the same initial/terminal round

sets of bounding conditions with the same initial/terminal round

sets of conditions covering the same number of rounds

sets of conditions covering the same number of rounds

sets of conditions covering the same number of rounds

IACR

License

Accelerating the Search of Differential and Linear Characteristics with the SAT Method

Key moments

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

sets of bounding conditions with the same initial/terminal round

sets of bounding conditions with the same initial/terminal round

sets of bounding conditions with the same initial/terminal round

sets of conditions covering the same number of rounds

sets of conditions covering the same number of rounds

sets of conditions covering the same number of rounds

Description

Key moments View all

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Boolean satisfiability problem (SAT)

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Propagations of differences or linear masks - Step 2

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Observations on auxiliary variables in the sequential counter circuit

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

Clausal encoding of the bounding condition

IACR

Boomeyong: Embedding Yoyo within Boomerang and its Applications to Key Recovery Attacks on AES ...

Key moments

Key moments