Ilmuwan Kepala Certora Mooly Sagiv percaya bahwa risiko keamanan terbesar dalam kriptografi bukanlah celah kode yang kompleks, tetapi masalah yang lebih sederhana seperti manajemen kunci dan kesalahan manusia. Di konferensi Breakpoint 2025, dia menekankan bahwa audit tidak dapat menjamin keamanan dan menganjurkan penggabungan verifikasi formal dengan tinjauan manusia. Sagiv menunjukkan bahwa verifikasi formal yang terintegrasi ke dalam pipeline Continuous Integration (CI) dapat menemukan “yang tidak diketahui dari yang tidak diketahui”, tetapi dia memperingatkan bahwa efektivitasnya bergantung pada definisi atribut yang benar. Dia juga meremehkan pentingnya kecerdasan buatan sebagai ancaman terhadap keberlangsungan hidup, menganggapnya sebagai alat bagi penyerang maupun pertahanan.