Vadim Vitalyevich Marchenko

Vadim Vitalyevich Marchenko
Russia, Moscow
Research area
Affiliation & position
  • Ivannikov Institute for System Programming of RAS — senior laboratory assistant
  • Lomonosov Moscow State University — undergraduate student
E-mail
List of Articles in System Informatics:
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. — . — # 28.  — P. 25-52