Menentukan Otoritas Berdasarkan Apa yang Anda Pegang, Bukan Siapa Anda: Arsitektur Keamanan Berbasis Kapabilitas
Anatomi Lengkap Masalah P vs NP: Puncak Teori Kompleksitas Komputasi dan Jurang yang Belum Terpecahkan
Teorema Empat Warna dan Revolusi Matematika Komputer: Masalah 100 Tahun dan Filosofi Pembuktian oleh Mesin