Login / Signup

The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64.

Yingying LiQichun Wang
Published in: ISC (2022)
Keyphrases
  • experimental verification
  • database
  • databases
  • machine learning
  • search algorithm
  • constraint solver