System Informatics
ISSN 2307-6410
Home
Authors
Articles
Search
Instruction
About the journal
English
Russian
Menu
Search articles
By title
By abstract
By keywords
By UDK
By author
- Any -
Abounegm Abdelrahman
Adrianova Irina B.
Afzal Mubeen
Ahmadeeva Irina Ravil’evna
Aisaiti Baishan
Aleksandra Yuryevna Maksimova
Aleksyuk Artyom Olegovich
Alisa Andreevna Obukhova
Andreeva Tatiana
Andrey Vitalievich Gumirov
Andrey Vitalievich Nechesov
Andrianov Pavel Sergeevich
Anna Stanislavovna Khovanskaya
Anureev Igor Sergeevich
Apanovich Zinaida Vladimirovna
Baar Thomas
Baghirov Elshan
Baranov Sergey Nikolayevich
Batura Tatiana Viktorovna
Berezin Sergey
Bodin Evgeny Viktorovich
Bondarenko Ivan
Borovikova Olesya Ignat’evna
Boulanger Frédéric
Bruches Elena Pavlovna
Bulgakov Kiril
Bulyonkov Mikhail Alekseevich
Burdonov Igor Borisovich
Chernenko Ivan Mikhailovich
Cheryomushkin Evgeny Sergeevich
Churina Tatyana Gennadievna
Daniil Dmitrievich Kuzovlev
de Carvalho Daniel
Demin Alexander Victorovich
Denis Rinatovich Yanbulatov
Dhiman Karmakar
Dmitry Aleksandrovich Stenkin
Dmitry Ivanovich Sviridenko
Dubko Anatoliy Vladimirovich
Emelyanov Pavel Gennadievich
Ermakov Anton Dmitrievich
Firsov Nikolay Ivanovich
Garanina Natalia Olegovna
Georgii Konstantinovich Tolokonnikov
Gleb Evgenyevich Gonchar
Gnatenko Anton Romanovich
Gorlatch Sergei
Gorodnyaya Lidia Vasiljevna
Grekhov German Andreevich
Gribovskaya Nataliya Sergeevna
Gromov Maxim Leonidovich
Harbachonak Darya
Hernandez Armando
Iakusheva Sofia Fedorovna
Idrisov Renat Iskanderovich
Irtegov Dmitry Valentinovich
Ishchenko Artyom Dmitrievich
Itsykson Vladimir
Ivan Aleksandrovich Gorobets
Ivan Dorokhov
Ivanov Aleksandr Ivanovich
Kablukov Ivan Vladimirovich
Kasyanov Victor Nikolaevich
Kasyanov Victor Nikolaevich
Kasyanova Elena Victorovna
Khademi Anahita
Khoroshilov Alexey Vladimirovitch
Khritankov Anton Sergeevich
Kogtenkov Alexander
Kondratyev Dmitry Alexandrovich
Kononenko Irina Semenovna
Kossatchev Alexander Sergeevitch
Krayneva Irina Alexandrovna
Kudasov Nikolai Dmitrievich
Kuliamin Victor Viatcheslavovitch
Kushik Natalia
Leshtaev Sergey V.
Letichevsky Alexander A.
Lev Konstantinovich Boyandin
Liakh Tatiana Viktorovna
Lipsky Nikita Valeryevich
Malov Vladimir Yurevich
Marchuk Alexander G.
Maryasov Ilya Vladimirovich
Mazzara Manuel
Meriste Merik
Mezentseva Anastasia Alekseevna
Mikheev Vitaly
Mingela Bogdan
Mohagheghi Mohammadsadegh
Murzin Feodor A.
Mutilin Vadim Sergeevich
Natalia Pablovna Tuchkova
Nepomniaschy Valery A.
Nesterenko Tatyana Viktorovna
Nikiforov Victor Vikentievuch
Nikitin Sergey
Odintsov Sergey Pavlovich
Olga Muratovna Ataeva
Ovchinnikova Kristina Alexeevna
Petoukhov Sergey Valentinovich
Petrenko Alexander Konstantinovitch
Philippova Marina
Pimenov Ivan Sergeevich
Ponomaryov Denis
Promsky Alexey Vladimirovich
Rassokhina Anastasia Alexandrovna
Rozov Andrei Sergeevich
Rubtsova Yuliya Vladimirovna
Safina Larisa
Salomatina Natalia Vasilievna
Sanborn Killu
Schulte Horst
Selivanov Victor L.
Sergey Barykin
Seryj Alexey Sergevich
Shabaldina Natalia Vladimirovna
Shcherbina Svyatoslav
Shelekhov Vladimir Ivanovich
Shestakov Vladimir Konstantinovich
Shevchenko Igor
Shilov Nikolay Vyacheslavovich
Shilov Valery Vladimirovich
Shmeleva Tatiana Rudolfovna
Shoshmina Irina Vladimirovna
Sidorov Vadim Vyacheslavovich
Sidorov Vladimir Anatolevich
Sidorova Elena Anatolvna
Skopin Igor Nikolaevich
Sokolov Pavel Pavlovich
Solovyov Vladimir Valeryevich
Staroletov Sergey Michailovich
Startsev Pavel Anatolievich
Stenenko Alexander Alexandrovich
Taha Safouan
Tchitchigin Alexander
Temerbekova Gulgaysha Gabdulovna
Tikhonova Tatyana Ivanovna
Timofeev Petr Sergeevich
Todorov Vassil
Troshkov Nikolay
Troshkov Sergey Nikolaevich
Tumurov Erdem Garmayevich
Tvardovskii Aleksandr
Vadim Olegovich Eliseev
Vadim Vitalyevich Marchenko
Vinarskii Evgeniy Maximovich
Virbitskaite Irina Bonaventurovna
Vitalii Ivanovich Bondarenko
Vizovitin Nikolay Valerievich
Vladimir Ivanovich Gorbachenko
Vlasov Dmitry Yurievich
Volyanskaya Tatyana Aleksandrovna
Yana Yurievna Dementyeva
Yevtushenko Nina Vladimirovna
Yuliya Yurievna Razbitnova
Zagorulko Yury Alekseevich
Zaitsev Dmitry Anatolievich
Zakharov Vladimir Anatolyevoch
Zubarev Alexey Yurievich
Zyubin Vladimir Evgenievich
By issue
- Any -
System Informatics, 2025, # 28
System Informatics, 2025, # 27
System Informatics, 2025, # 26
System Informatics, 2024, # 25
System Informatics, 2024, # 24
System Informatics, 2023, # 23
System Informatics, 2023, # 22
System Informatics, 2022, # 21
System Informatics, 2022, # 20
System Informatics, 2021, # 19
System Informatics, 2021, # 18
System Informatics, 2020, # 17
System Informatics, 2020, # 16
System Informatics, 2019, # 15
System Informatics, 2019, # 14
System Informatics, 2018, # 13
System Informatics, 2018, # 12
System Informatics, 2017, # 11
System Informatics, 2017, # 10
System Informatics, 2017, # 9
System Informatics, 2016, # 8
System Informatics, 2016, # 7
System Informatics, 2015, # 6
System Informatics, 2015, # 5
System Informatics, 2014, # 4
System Informatics, 2014, # 3
System Informatics, 2013, # 2
System Informatics, 2013, # 1
By year
Verified Software Toolchain
D. Kondratyev
L.K. Boyandin
G.E. Gonchar
V.V. Marchenko
A.A. Obukhova
Y.Y. Razbitnova
A.S. Khovanskaya
D.R. Yanbulatov
Formal verification of a Streebog hash function implementation with the Astra Group
//
System Informatics. —
2025
. — # 28.
—
P. 25-52
Subscribe to Verified Software Toolchain
Russian
English
Home
Authors
Articles
Search
Instruction
About the journal
English
Russian
