• مقدمه (12)
• پیش‌نیازها و کارهای پیشین (16)
  • مقدمه (16)
  • ویژگی تقسیم بیت-مبنا (CBDP) (19)
    • تعاریف (19)
    • قوانین انتشار (21)
    • تمایزگر انتگرالی (22)
    • ایده گسترش تمایزگر با نگاشت خطی (22)
  • انتشار ویژگی تقسیم در Sbox (23)
    • روش متداول تولید جدول انتشار Sbox (23)
    • روش بهبودیافته تولید جدول انتشار Sbox (23)
  • انتشار ویژگی تقسیم در لایه خطی (25)
    • روش S (25)
    • روش ZR (26)
    • روش بهبودیافته (28)
  • ویژگی تقسیم بیت-مبنا با سه زیرمجموعه (BDPT) (29)
    • تعریف و قوانین انتشار (29)
    • دنباله تقسیم BDPT (31)
  • جمع‌بندی (32)
• جستجوی خودکار تمایزگر انتگرالی (33)
  • مقدمه (33)
  • مسائل MILP (34)
  • قیود MILP در جستجوی تمایزگر انتگرالی (34)
    • مدل‌سازی توابع پایه (35)
    • مدل‌سازی Sbox (36)
    • مدل‌سازی جایگشت (37)
    • مدل‌سازی ویژگی تقسیم اولیه (38)
  • الگوریتم جستجو و قوانین توقف (38)
    • قانون توقف (38)
    • الگوریتم جستجو (40)
  • بهینه‌ساز Gurobi (42)
    • آشنایی با کتابخانه gurobipy (43)
    • تمایزگر انتگرالی برای toy cipher (46)
  • جمع‌بندی (48)
• ارائه تحلیل انتگرالی رمز SAND-64 (49)
  • مقدمه (49)
  • مشخصات رمز SAND-64 (50)
  • تمایزگر انتگرالی رمز SAND-64 (53)
  • بازیابی کلید و پیچیدگی حمله (55)
    • تحلیل 15 دوری (57)
    • تحلیل 16 دوری (60)
  • جمع‌بندی (62)
• ارائه تحلیل انتگرالی رمز Shadow-32 (64)
  • مقدمه (64)
  • مشخصات رمز Shadow-32 (65)
  • تمایزگر انتگرالی رمز Shadow-32 (69)
    • تمایزگر 10 دوری (69)
    • بسط تمایزگر به 11 دور (70)
  • بازیابی کلید و پیچیدگی حمله (72)
  • جمع‌بندی (77)
• جمع‌بندی و کارهای آتی (79)
  • جمع‌بندی پژوهش (79)
  • کارهای آتی (80)
• اثبات قوانین انتشار CBDP (82)
  • اثبات قانون انتشار 1 (COPY) (82)
  • اثبات قانون انتشار 2 (XOR) (83)
  • اثبات قانون انتشار 3 (AND) (83)
• مراجع (84)