Sadeghi, SadeghSadeghSadeghiRijmen, VincentVincentRijmenBagheri, NasourNasourBagheri2021-12-162021-11-022021-12-1620210925-1022WOS:000670837600001https://imec-publications.be/handle/20.500.12860/37812Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECKJournal article10.1007/s10623-021-00904-5WOS:000670837600001BLOCK CIPHERROTATIONAL CRYPTANALYSISSECURITY EVALUATIONENCRYPTIONSKINNYSEARCH