snapkitty
formal-verification
lean4
ahmad-foundations / papers /aes-cryptanalysis /aes_cryptanalysis.toc
SNAPKITTYWEST's picture
push from SNAPKITTYWEST/ahmad-foundations
a32e94f verified
Raw History Blame Contribute Delete
1.88 kB
\contentsline {section}{\numberline {1}Author's Introduction}{3}{section.1}%
\contentsline {section}{\numberline {2}Background and Notation}{4}{section.2}%
\contentsline {subsection}{\numberline {2.1}GF(2\textsuperscript {8}) Arithmetic}{4}{subsection.2.1}%
\contentsline {subsection}{\numberline {2.2}AES Round Structure}{4}{subsection.2.2}%
\contentsline {section}{\numberline {3}Differential Trail Analysis}{4}{section.3}%
\contentsline {subsection}{\numberline {3.1}MDS Branch Number}{4}{subsection.3.1}%
\contentsline {subsection}{\numberline {3.2}Corrected MILP Formulation}{5}{subsection.3.2}%
\contentsline {subsection}{\numberline {3.3}Minimum Active S-box Bounds}{5}{subsection.3.3}%
\contentsline {section}{\numberline {4}The M\"obius Bridge: 7-Round MITM}{5}{section.4}%
\contentsline {subsection}{\numberline {4.1}Construction}{5}{subsection.4.1}%
\contentsline {subsection}{\numberline {4.2}Attack Mechanics}{6}{subsection.4.2}%
\contentsline {section}{\numberline {5}Algebraic Structure: Three Walls}{6}{section.5}%
\contentsline {subsection}{\numberline {5.1}Wall 1: Diffusion (MDS)}{6}{subsection.5.1}%
\contentsline {subsection}{\numberline {5.2}Wall 2: Nonlinearity and the $B_A$ Failure}{6}{subsection.5.2}%
\contentsline {subsection}{\numberline {5.3}Wall 3: Key Schedule Entanglement}{7}{subsection.5.3}%
\contentsline {section}{\numberline {6}The 10-Round Terminal Result}{7}{section.6}%
\contentsline {section}{\numberline {7}Evidence Registry}{7}{section.7}%
\contentsline {subsection}{\numberline {7.1}Novel Contributions Summary}{8}{subsection.7.1}%
\contentsline {subsection}{\numberline {7.2}Open Proof Obligations}{8}{subsection.7.2}%
\contentsline {section}{\numberline {8}Fibonacci Anyon AES Oracle}{8}{section.8}%
\contentsline {section}{\numberline {9}Open Problems}{9}{section.9}%
\contentsline {section}{\numberline {10}Conclusion}{9}{section.10}%