Notație superscript vs subscript în formularea criptografică

Momentan citesc această lucrare [PDF]. La pagina 4, m-am lovit de aceste notații:

\begin{ecuație} \text { Experiment } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k) \text { : } \end{ecuație}

\begin{ecuație} A_{1}^{\mathrm{KDer}\left(s k_{i}\right)}(p k) \end{ecuație}

Am încercat să caut online și am rezolvat majoritatea celorlalte notații implicate, cum ar fi $ \stackrel{\$}{\leftarrow}$, dar nimeni nu a furnizat un link către o sursă pentru rezolvarea unor probleme similare. Nu am putut rezolva niciuna dintre acestea. Aceasta este definiția căreia îi aparțin aceste notații. Pentru mai multe informații, puteți consulta lucrarea în sine.

\begin{matrice}{l} \text { Experiment } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k): \ b \stackrel{\$}{\leftarrow}\{0,1\} \ (p k, s k) \$ \operatorname{Setup}\left(1^{k}\right) \ \left(m_{0}, m_{1}, s t\right) \stackrel{\$}{\leftarrow} A_{1}^{\mathrm{KDer}(s k, \cdot)}(p k) \ c \leftarrow{E n c}\left(p k, m_{b}\right) \ b^{\prime} \stackrel{\$}{\leftarrow} A_{2}^{\mathcal{O}(s k, \cdot)}(p k, c, s t) \ \text { If } b=b^{\prime} \text { return } 1 \text { else return } 0 \end{matrice}