Home Paper submission Archive Contacts
Archive · Workshop program

CTCrypt program 2016

6 июня

13:00–14:00
Lunch
14:00–14:30
Registration
14:30–14:40
Welcome speech
Vladimir Sachkov.
Design and analysis of cryptographic mechanisms I
14:40–16:10
14:40–15:20 Приглашённый доклад
Bit Cryptanalysis on symmetric ciphers
Xiaoyun Wang.
15:20–15:45 Доклад
The influence of linear mapping reducibility on choice of round constant
Dmitry Burov, Boris Pogorelov.
15:45–16:10 Доклад
Analysis of the Russian key-agreement protocols using automated verification tools
Alexandr Semenov.
16:10–16:35
Coffee break
Quantum cryptography and technologies I (invited speakers from RQC)
16:35–17:10
16:35–16:50 Приглашённый доклад
Post-processing platform for industrial quantum key distribution setup
Alexey Fedorov,
16:50–17:10 Приглашённый доклад
Quantum Key Distribution In Optical Fiber Carriers
Yury Kurochkin, Vladimir Kurochkin, Andrey Masyukov, Alexandr Miller, Vadim Radimin,
17:10–17:15
Track change
Design and analysis of cryptographic mechanisms II
17:15–18:05
17:15–17:40 Доклад
On the properties of the CTR encryption mode of the Magma and Kuznyechik block ciphers with re-keying method based on CryptoPro Key Meshing
Evgeniy Alekseev, Igor Oshkin, Stanislav Smyshlyaev, Lolita Sonina, Liliya Ahmetzyanova.
17:40–18:05 Доклад
A New Authenticated Encryption Mode For Arbitrary Block Cipher Based On Universal Hash Function
Alexey Nesterenko.
18:30–20:30
Welcome party

7 июня

Probablistic aspects of cryptography and steganography
09:30–11:10
09:30–09:55 Доклад
On the distribution of the minimal distance between the numbers of the outcomes of the equiprobable urn scheme
Andrey Ivanov.
09:55–10:20 Доклад
Images of finite set under iterations of two random dependent mappings
Alexandr Serov.
10:20–10:45 Доклад
The Square Root Law in the Problem of Detection Embeddings in Markov Chains With Unknown Transition Probabilities Matrix
Artem Volgin.
10:45–11:10 Доклад
Statistical inferences on embeddings in steganography
Yuriy Kharin, Egor Vecherko.
11:10–11:40
Coffee break
Algebraic aspects of cryptography
09:30–11:25
09:30–09:55 Доклад
On some properties of Walsh coefficients of boolean functions
Reyner Antonio de la Cruz, Oleg Kamlovsky.
09:55–10:20 Доклад
Necessary conditions for commutativity of right powers in finite-dimensional algebras over a field
Sergey Katyshev, Andrey Zyazin.
10:20–10:45 Доклад
Key agreement schemes based on linear groupoids
Anton Baryshnikov, Sergey Katyshev.
10:45–11:10 Доклад
Non-commutative Hamilton-Cayley's Theorem and roots of characteristic polynomials of skew maximal period linear recurrences over Galois rings
Mikhail Goltvanitca.
11:10–11:25 Доклад
On transformations, decreasing linear complexity of MP LRS
Sergey Zaitsev.
11:25–11:40
Coffee break
The future of asymmetric cryptography
11:40–13:20
11:40–12:20 Приглашённый доклад
Decomposition Attacks on the Elliptic curve Discrete Logarithm Problem
Igor Semaev.
12:20–12:40 Приглашённый доклад
A sceptical view on decomposition attacks
Claus Diem.
12:40–13:10
Panel discussion
13:10–14:00
Lunch
Design and analysis of cryptographic mechanisms III
14:00–15:30
14:00–14:40 Приглашённый доклад
Towards quantum resistant cryptography standards
Markku-Yuhani Olavi Saarinen,
14:40–15:05 Доклад
Synthesis of Asymptotically Size-Optimal Boolean Circuits Protected from Functionality Inference
Sergey Lozhkin, Mikhail Shupletsov, Boris Danilov.
15:05–15:30 Доклад
Bash-f: another LRX sponge function
Sergey Agievich, Vadim Marchuk, Alexandr Maslau, Vlad Semenov.
15:30–15:55
Coffee break
15:55–17:10
TC26 open day I (Panel discussion "Requirements for cryptodevices")
17:10–17:15
Track change
17:15–18:30
TC26 open day II (Panel discussion "Cryptography for IoT")
19:00–21:00
Gala dinner

8 июня

Quantum cryptography and technologies II
10:00–11:05
10:00–10:15 Приглашённый доклад
Quantum cryptography with pseudorandom bases and the problem of quantum state discrimination
Anton Trushechkin,
10:15–10:40 Доклад
Practical security criterion
Igor Arbekov.
10:40–11:05 Доклад
Error correction in quantum cryptography using LPDC-codes
Dmitry Kronberg.
11:05–11:30
Coffee break
Design and analysis of cryptographic mechanisms IV
11:30–12:25
11:30–11:55 Доклад
Spectral-linear and spectral-difference methods for generating cryptographically strong S-boxes
Andrey Menyachikhin.
11:55–12:10 Доклад
Collision Probability for a PRNG Based on Block Ciphers
Mikhail Borodin, Andrey Rybkin, Alexey Urivskiy.
12:10–12:25 Доклад
Cryptanalysis of the McEliece PKC based on (k-1)-Reed-Muller subcodes
Mikhail Borodin and Ivan Chizhov.
12:25–12:30
Track change
Rump-session (5 minutes talks)
12:30–13:30
13:30–14:30
Lunch
14:30–17:30
Sightseeing program