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

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

    Research output: Contribution to journalArticlepeer-review

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

    Zaikin, O., 2024, In: Journal of Artificial Intelligence Research. 81, p. 359-399 41 p., 10.

    Research output: Contribution to journalArticlepeer-review

  5. 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., p. 25-30 6 p. (2024 47th ICT and Electronics Convention, MIPRO 2024 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

ID: 55503859