1. 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

  2. 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

ID: 55503859