Towards UAT Methodology on Cryptographic Library Assessment. - Yevgen Kotukh; Oleksandr Marukhnenko; Gennady Khalimov; Maksym Korobchynskyi; Serhii Khamula; Myhailo Rudenko (ACIT, 2024)