{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.1}The AKA Protocol}{\reset@font\mtcSfont 158}{section.7.1}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.1.1}The Classic Version of AKA}{\reset@font\mtcSSfont 158}{subsection.7.1.1}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.1.1}Elements of the Protocol.}{\reset@font\mtcSSSfont 158}{subsubsection.7.1.1.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Pseudo-random Functions.}{\reset@font\mtcPfont 158}{section*.148}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Static Secret Keys.}{\reset@font\mtcPfont 159}{section*.149}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Random Value.}{\reset@font\mtcPfont 159}{section*.150}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Sequence Number.}{\reset@font\mtcPfont 159}{section*.151}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.1.2}Description of an Execution.}{\reset@font\mtcSSSfont 159}{subsubsection.7.1.1.2}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Generation of the Challenge.}{\reset@font\mtcPfont 159}{section*.153}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Challenge-Response.}{\reset@font\mtcPfont 161}{section*.154}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Re-synchronization.}{\reset@font\mtcPfont 161}{section*.155}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.1.2}Quantum AKA Protocol}{\reset@font\mtcSSfont 162}{subsection.7.1.2}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.2.1}Modelization of Quantum Communications.}{\reset@font\mtcSSSfont 162}{subsubsection.7.1.2.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Other modelizations.}{\reset@font\mtcPfont 162}{section*.156}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.2.2}Superposition or Not}{\reset@font\mtcSSSfont 162}{subsubsection.7.1.2.2}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Static Secret Keys.}{\reset@font\mtcPfont 162}{section*.157}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Sequence Number.}{\reset@font\mtcPfont 162}{section*.158}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Random Value.}{\reset@font\mtcPfont 163}{section*.159}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Confidentiality and Integrity Keys.}{\reset@font\mtcPfont 163}{section*.160}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.2.3}Challenge Generator.}{\reset@font\mtcSSSfont 163}{subsubsection.7.1.2.3}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Expectations.}{\reset@font\mtcPfont 163}{section*.161}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Useful Property for Security Proofs in Later Sections.}{\reset@font\mtcPfont 163}{section*.162}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Possible Construction.}{\reset@font\mtcPfont 163}{section*.163}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.2.4}Description of a Quantum Execution}{\reset@font\mtcSSSfont 164}{subsubsection.7.1.2.4}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Generation of the Challenge.}{\reset@font\mtcPfont 164}{section*.165}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Challenge-Response.}{\reset@font\mtcPfont 164}{section*.166}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Re-synchronization.}{\reset@font\mtcPfont 165}{section*.167}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.1.2.5}Notes on the Measurements.}{\reset@font\mtcSSSfont 165}{subsubsection.7.1.2.5}}
{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.2}Adversarial Model and Building Blocks}{\reset@font\mtcSfont 165}{section.7.2}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.2.1}Oracles}{\reset@font\mtcSSfont 166}{subsection.7.2.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Partners.}{\reset@font\mtcPfont 167}{section*.168}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.2.2}Targeted Notions}{\reset@font\mtcSSfont 168}{subsection.7.2.2}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Communications between Operators and Servers.}{\reset@font\mtcPfont 168}{section*.169}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.2.3}Pseudo-random Function}{\reset@font\mtcSSfont 169}{subsection.7.2.3}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Quantum Advantage on a Set of Pseudo-random Functions.}{\reset@font\mtcPfont 169}{section*.170}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.2.4}Pseudo-random Key-derivation}{\reset@font\mtcSSfont 170}{subsection.7.2.4}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Advantage on a Pseudo-random Key-derivation Function.}{\reset@font\mtcPfont 170}{section*.171}}
{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.3}Quantum Security of the UMTS-AKA Protocol}{\reset@font\mtcSfont 170}{section.7.3}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.3.1}Session Keys Indistinguishability}{\reset@font\mtcSSfont 170}{subsection.7.3.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Freshness: session keys indistinguishability.}{\reset@font\mtcPfont 170}{section*.172}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.1.1}Session Keys Indistinguishability Game.}{\reset@font\mtcSSSfont 171}{subsubsection.7.3.1.1}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.3.2}Client-impersonation Resistance }{\reset@font\mtcSSfont 174}{subsection.7.3.2}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Freshness: client-impersonation resistance.}{\reset@font\mtcPfont 174}{section*.173}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Relay: client-impersonation.}{\reset@font\mtcPfont 174}{section*.174}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.2.1}Client-impersonation Resistance Game.}{\reset@font\mtcSSSfont 174}{subsubsection.7.3.2.1}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.3.3}Weak Server-impersonation Resistance }{\reset@font\mtcSSfont 176}{subsection.7.3.3}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Freshness: server-impersonation resistance.}{\reset@font\mtcPfont 176}{section*.175}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Relay: server-impersonation.}{\reset@font\mtcPfont 177}{section*.176}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.3.1}Weak Server-impersonation Resistance Game.}{\reset@font\mtcSSSfont 177}{subsubsection.7.3.3.1}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.3.4}Soundness}{\reset@font\mtcSSfont 179}{subsection.7.3.4}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.4.1}Soundness Game}{\reset@font\mtcSSSfont 179}{subsubsection.7.3.4.1}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.3.5}State Confidentiality}{\reset@font\mtcSSfont 181}{subsection.7.3.5}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.5.1}Distinguishing Attack against State Confidentiality}{\reset@font\mtcSSSfont 181}{subsubsection.7.3.5.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Freshness: state confidentiality.}{\reset@font\mtcPfont 181}{section*.177}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.3.5.2}State Confidentiality Game}{\reset@font\mtcSSSfont 182}{subsubsection.7.3.5.2}}
{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.4}Quantum Security of Milenage}{\reset@font\mtcSfont 184}{section.7.4}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.4.1}Description of Milenage}{\reset@font\mtcSSfont 184}{subsection.7.4.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Key Derivation.}{\reset@font\mtcPfont 184}{section*.178}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Functions $f_1$, $f_2$, $f_3$, $f_4$, $f_5$, $f^*_1$, $f^*_5$.}{\reset@font\mtcPfont 184}{section*.179}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.4.2}Attack on Milenage as a Pseudo-Random Function}{\reset@font\mtcSSfont 184}{subsection.7.4.2}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.4.2.1}Idea of the Attack}{\reset@font\mtcSSSfont 185}{subsubsection.7.4.2.1}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.4.2.2}Algorithm of the Attack}{\reset@font\mtcSSSfont 185}{subsubsection.7.4.2.2}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.4.3}Security Proof of Milenage in AKA}{\reset@font\mtcSSfont 185}{subsection.7.4.3}}
{\reset@font\mtcSSSfont\mtc@string\contentsline{subsubsection}{\noexpand \leavevmode \numberline {7.4.3.1}In-AKA-distinguishing Game}{\reset@font\mtcSSSfont 185}{subsubsection.7.4.3.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Use of $E$.}{\reset@font\mtcPfont 187}{section*.180}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Use of Multiple Clients.}{\reset@font\mtcPfont 187}{section*.181}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Use of Verification Functions.}{\reset@font\mtcPfont 188}{section*.182}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Randomness of the Initial Vectors.}{\reset@font\mtcPfont 189}{section*.183}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Note on AES.}{\reset@font\mtcPfont 189}{section*.184}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Security of the Key Derivation.}{\reset@font\mtcPfont 189}{section*.185}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Note on the Advantage on $E$.}{\reset@font\mtcPfont 190}{section*.186}}
{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.5}Quantum Security of TUAK}{\reset@font\mtcSfont 190}{section.7.5}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.5.1}Description of TUAK.}{\reset@font\mtcSSfont 190}{subsection.7.5.1}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Key Derivation.}{\reset@font\mtcPfont 190}{section*.187}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Functions $f_1$, $f_2$, $f_3$, $f_4$, $f_5$, $f^*_1$, $f^*_5$.}{\reset@font\mtcPfont 190}{section*.188}}
{\reset@font\mtcSSfont\mtc@string\contentsline{subsection}{\noexpand \leavevmode \numberline {7.5.2}Security Arguments of TUAK.}{\reset@font\mtcSSfont 191}{subsection.7.5.2}}
{\reset@font\mtcPfont\mtc@string\contentsline{paragraph}{\noexpand \leavevmode Note on Keccak-f.}{\reset@font\mtcPfont 191}{section*.189}}
{\reset@font\mtcSfont\mtc@string\contentsline{section}{\noexpand \leavevmode \numberline {7.6}Conclusion}{\reset@font\mtcSfont 191}{section.7.6}}
