Abstract:These are lecture notes of a 20-hour course at the International Summer School \emph{Mathematical Methods and Technologies in Computer Security} at Lomonosov Moscow State University, July 9--23, 2006. Loosely speaking, a $T$-function is a map of $n$-bit words into $n$-bit words such that each $i$-th bit of image depends only on low-order bits $0,..., i$ of the pre-image. For example, all arithmetic operations (addition, multiplication) are $T$-functions, all bitwise logical operations ($\XOR$, $\AND$, etc.) are $T$-functions. Any composition of $T$-functions is a $T$-function as well. Thus $T$-functions are natural computer word-oriented functions. It turns out that $T$-functions are continuous (and often differentiable!) functions with respect to the so-called 2-adic distance. This observation gives a powerful tool to apply 2-adic analysis to construct wide classes of $T$-functions with provable cryptographic properties (long period, balance, uniform distribution, high linear complexity, etc.); these functions currently are being used in new generation of fast stream ciphers. We consider these ciphers as specific automata that could be associated to dynamical systems on the space of 2-adic integers. From this view the lectures could be considered as a course in cryptographic applications of the non-Archimedean dynamics; the latter has recently attracted significant attention in connection with applications to physics, biology and cognitive sciences. During the course listeners study non-Archimedean machinery and its applications to stream cipher design.

Asymmetric All-or-nothing Transforms

Toral Automorphisms Mapping and Anti-Toral Transformation Analysis

A simplified variant of tabled asymmetric numeral systems with a smaller look-up table

Asymmetric truncated Toeplitz operators equal to the zero operator

Anonymous Oblivious Transfer

PE-AONT: Partial Encryption combined with an All-or-Nothing Transform

Uncertainty Inequalities for 3D Octonionic-valued Signals Associated with Octonion Offset Linear Canonical Transform

Asymmetric Quantum Concatenated and Tensor Product Codes With Large Z -Distances

Detecting Affine Equivalence of Boolean Functions and Circuit Transformation.

Non-Archimedean analysis, T-functions, and cryptography

$\widetilde{O}(N^2)$ Representation of General Continuous Anti-symmetric Function

Provably secure 1-out-of-n Oblivious Transfer scheme

Octonion Algebras over Schemes and the Equivalence of Isotopes and Isometric Quadratic Forms

Asymptotically secure All-or-nothing Quantum Oblivious Transfer

Non-invertible symmetries act locally by quantum operations

John von Neumann's Space-Frequency Orthogonal Transforms

Aperiodic two-way transducers and FO-transductions

On Evaluating Obfuscatory Strength of Alias-based Transforms Using Static Analysis

Antisymmetric Characters and Fourier Duality

A framework of windowed octonion linear canonical transform

Permutation-Based Tweakable On-line Cipher with Improved Security Guarantees