Стаття присвячена аналізу сучасних напрямів розвитку теорії і практики гарантоздатності комп'ютерних та інших систем. Підвищення рівня гарантоздатності набирає актуальності у таких сферах: хмарні сховища і обчислення; шифрування, квантові обчислення і криптографічні методи; збереження конфіденційності та контроль доступу до особистих даних; безпека і надійність блокчейну. Підсумки, що отримані у роботі, можуть бути корисні для широкого кола фахівців, які займаються дослідженнями в галузі гарантоздатності в усіх сферах її застосування.