Differencial cryptoanalysis

Last updated Oct 23, 2022 Edit Source

https://github.com/aappleby/smhasher/wiki/MurmurHash2Flaw

Differencial cryptanalysis これはハッシュ関数の実装に踏み込む手法である. スケッチとしては何かしらのパラメータが同じなどの特殊な場合のとき, 簡約化ができ, 単純な算術演算による条件式をいくつか生成できる. これを SMT で解くらしい.