Materials'25

Algebraic aspects

Download

Weight estimates of monotonic bijunctive functions in connection with the method of bijunctive implications for solving systems of Boolean equations
Aleksey Tarasov and Nikita Trubitsin

Decompositions of negabent functions and related properties
Aleksandr Kutsenko

On the cardinality of some classes generated by Maiorana-McFarland bent functions
Nikolay Kolomeec and Denis Bykov

Algebraic and Probabilistic aspects

Transitive piecewise polynomial transformations over primary residue rings and some statistical properties of the generated sequences
Tatiana Lipina and Anton Vasin

A probability-theoretic model of the local invertibility of the Boolean shift register with a Boolean function
Vladimir Vinokurov and Aleksandr Tiukin

On the practical secrecy of keys formed from instantaneous values of a stationary Gaussian process
Dmitriy Bogdanov

Corrections of two-level testing approach to random number generators ensuring its reliability on the example of Frequency test from NIST SP800-22 test suite
Aleksandr Serov

Quantum cryptanalysis and Postquantum cryptography

Download

Invited Talk

Approaches, Models, and Challenges in the Analysis of Cryptographic Algorithms and Protocols in the Context of the Quantum Threat (invited talk)
Vitaly Kiryukhin, Anton Naumenko, and Andrey Shcherbachenko

Quantum circuits GOST 34.10-2018, GOST 34.11-2018 and GOST 34.12-2018 with minimum qubits
Denis Denisenko and Marina Nikitenkova

Fiat-Shamir Code
Denis Fomin and Anton Guselev

An effective structural attack on the post-quantum signature scheme pqsigRM
Andrei Rubenkov and Ivan Chizhov

Provable security

Invited Talk

Provable security: main concepts, significance and open problems (invited talk)
Evgeny Alekseev and Liliya Akhmetzyanova

On the security of DUKPT key derivation function
Ilya Makhonin, Liliya Akhmetzyanova, and Stanislav Smyshlyaev

AEAD-mode MXP — beyond the birthday bound without loss of efficiency
Vitaly Kiryukhin

On the security of one anonymous authentication protocol
Alexander Bakharev and Kirill Tsaregorodtsev

Algebraic aspects

Known and commutative-group 5-configurations
Fedor Malyshev

Linear characteristics of functions over Galois rings
Oleg Kamlovskii

Symmetric cryptography – Analysis

Estimations of nonlinearity of linear approximation with big dimension
Vasily Shishkin

Asymptotic Distribution of the Correlation Coefficients of Linear Approximation
Aleksandr Kargin and Denis Fomin

Practical Cryptography

Symmetric cryptography

Download

Generation of recursive MDS matrices with irreducible characteristic polynomial from known ones: a practical approach
Pablo Freyre Arrozarena, Ramses Rodríguez Aulet, Alejandro Freyre Echevarría, and Oristela Cuellar Justiz (online)

An Analysis of Component Functions: Replicating Kuznyechik's S-Box Properties Through Heuristic Method
Alejandro Freyre Echevarría, Reynier A. de la Cruz Jiménez, Rene Fernandez-Leal, Ramses Rodríguez Aulet, and Oliver Coy Puente (online)

Rump Session

Threshold signatures and their applications in finance
Alexey Kurochkin and Andrey Elistratov

Implementation of RNG in mobile mass Crypto Software
Anatoly Lebedev and Nikita Vylegzhanin

Ring Oscillator-Based Random Number Generation: Reality and Model
Dmitry Bobrovskiy and Ilya Nedomolkin

Generalizations of Diffie-Hellmann protocol
Anatoly Lebedev

DUKPT: Demonstration Uncovering Key Proofs in Theory
Denis Fomin

Algebraic aspects

Adapted spectral-diffusional method for constructing special type matrices with high values of branch number
Andrey Menyachikhin

Automorphism groups of MDS-matrices
Dmitry Burov and Sergey Kostarev

Implementation of cryptographic algorithms and protocols

A Probabilistic Model for GPU-Accelerated Cryptographic Algorithm Execution
Denis Fomin and Andrey Chuhno

Bitsliced implementations of the «Streebog» and «Kuznechik» algorithms
Anatoly Solovyev and Denis Fomin

Postquantum cryptography

Download

Towards a Proof-of-Possession Mechanism for Binary Goppa Code-Based KEM
Liliya Akhmetzyanova, Evgeny Alekseev, Aleksandra Babueva, and Andrey Bozhko

On the connection between the permutation equivalence of linear codes problem and the isomorphism of quadratic forms problem
Ivan Chizhov

On Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes with Known Parameter
Artyom Kuninets