Program

Workshop
14:00 – 15:30

14.00-14.10

Welcome Talk by Steering Committee

Algebraic aspects

14.10-14.30

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

14.30-15.00

Decompositions of negabent functions and related properties
Aleksandr Kutsenko

15.00-15.30

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

Coffee break,
15:30 – 16:00

Workshop
16:00 – 17:40

Algebraic and Probabilistic aspects

16.00-16.20

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

16.20-16.40

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

16.40-17.10

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

17.10-17.40

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

Workshop
09:00 – 11:10

Quantum cryptanalysis and Postquantum cryptography

09.00-09.50

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

09.50-10.20

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

10.20-10.50

Fiat-Shamir Code
Denis Fomin and Anton Guselev

10.50-11.10

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

Coffee break
11:10 – 11:40

Workshop
11:40 – 14:00

Provable security

11.40-12.30

Invited Talk

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

12.30-13.00

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

13.00-13.30

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

13.30-14.00

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

Lunch
14:00 – 15:00

Workshop
15:00 – 16:40

Algebraic aspects

15.00-15.30

Known and commutative-group 5-configurations
Fedor Malyshev

15.30-16.00

Linear characteristics of functions over Galois rings

Oleg Kamlovskii

Symmetric cryptography – Analysis

Estimations of nonlinearity of linear approximation with big dimension
Vasily Shishkin

16.20-16.40

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

Practical Cryptography

Discussion
The Quantum Threat: myths and reality

10:00-12:00

In Russian

Coffee break
12:00-12:30

Roundtable Discussion
На пути к экономике данных без экономии данных. Практические наблюдения о протоколах конфиденциальных вычислений

12:30-14:30

In Russian

Lunch
14:30-15:30

Roundtable Discussion
Cryptographic mechanisms in cyber-physical systems

15:30-17:00

In Russian

Break
17:00 – 17:15

Workshop
17:15 – 18:45

Symmetric cryptography

17.15-17.35

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)

17.35-18.05

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)

18.05-18.45

Rump Session

Workshop
10:00 – 11:40

Algebraic aspects

10.00-10.30

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

10.30-11.00

Automorphism groups of MDS-matrices
Dmitry Burov and Sergey Kostarev

implementation of cryptographic algorithms and protocols

11.00-11.20

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

11.20-11.40

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

Coffee break
11:40 – 12:10

Workshop
12:10 – 13:40

Postquantum cryptography

12.10-12.40

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

12.40-13.10

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

13.10-13.30

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

13.30-13.40

Conclusion Talk by Steering Committee