احمد حلالی

جستجوی مشخصه های تفاضلی دارای احتمال قابل قبول برای تحلیل تفاضلی در الگوریتم رمز قالبی سایمون به کمک حل کننده های SAT/SMT

در این مقاله به جستجوی مشخصه های تفاضلی الگوریتم رمز قالبی سایمون با بهره گیری از حل کننده های SAT/SMT پ…