1. Анализ криптографической стойкости хеш-функции SHA-256 при помощи SAT-подхода

    Davydov, V. V., Pikhtovnikov, M. D., Kiryanova, A. P. & Zaikin, O. S., 2025, в: Научно-технический вестник информационных технологий, механики и оптики. 25, 3, стр. 428-437 10 стр., 6.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  2. Towards Better SAT Encodings for Hash Function Inversion Problems

    Kochemazov, S. E. & Zaikin, O. S., 2024, 2024 47th ICT and Electronics Convention, MIPRO 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 25-30 6 стр. (2024 47th ICT and Electronics Convention, MIPRO 2024 - Proceedings).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  3. Inverting Cryptographic Hash Functions via Cube-and-Conquer

    Zaikin, O., 2024, в: Journal of Artificial Intelligence Research. 81, стр. 359-399 41 стр., 10.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 55503859