Tətbiqi kriptoqrafiya mühəndisliyi
Kurs üçün vizual izahlar. Hamısı brauzerdə işləyir: giriş verilənlərini dəyişin, alqoritmi və ya hücumu addım-addım izləyin və nəyin harada düzgün, harada səhv getdiyini görün.
Simmetrik şifrləmə
ECB niyə sızdırır: blok şifr rejimləri
Real AES şəkli üç üsulla şifrləyir. ECB-də şəkil şifrləmədən sağ çıxır; CBC və CTR-də küyə çevrilir.
AES-128 · ECB · CBC · CTRAç →Təkrar nonce açarı sıfırlayır
Eyni açar və nonce ilə iki mesaj eyni açar axınını bölüşür. Şifrmətnləri XOR edin, açar yox olur; təxmin edilən söz qalanını açır.
C₁ ⊕ C₂ = P₁ ⊕ P₂Aç →CBC-də doldurma orakulu
Yalnız «doldurma səhvdir» deyən server istənilən mesajı açarsız, bayt-bayt deşifrləməyə kifayətdir. Bu demo real AES-CBC-yə hücum edir.
PKCS#7 · bayt başına ≤ 256 sorğuAç →Autentifikasiya və parollar
MAC yoxlamasında zaman sızması
Erkən çıxışlı müqayisə nə qədər çox başlanğıc bayt üst-üstə düşərsə, o qədər uzun çəkir. Ölçün və gizli teqi simvol-simvol bərpa edin.
memcmp · sabit zamanlı müqayisəAç →Parolların saxlanması: duz və dəyər
Niyə eyni parollar eyni heş verməməlidir və niyə parol heşi qəsdən yavaş olmalıdır.
SHA-256 · PBKDF2 · bcrypt · Argon2idAç →Təkrar hücumlardan qorunma
Ardıcıllıq nömrələri və sürüşən pəncərələr: niyə düzgün MAC kifayət deyil.
sayğac · pəncərə · nonceTezlikləHMAC və uzatma hücumu
Niyə H(key ‖ message) MAC deyil və HMAC bunu necə düzəldir.
SHA-256 · HMACTezlikləHKDF ilə açar törətmə
Girişdə bir sirr, çıxışda çoxlu müstəqil açar: əvvəl extract, sonra expand.
RFC 5869 · duz · infoTezlikləAçıq açarlar və protokollar
İrəli məxfilik
Dinləyici üç seansı yazır və illər sonra server açarını oğurlayır. RSA ilə açar ötürülməsində hər seans açılır; efemer Diffi–Hellmanda heç biri.
RSA ilə açar ötürülməsi vs (EC)DHEAç →RSA-OAEP ilə hibrid şifrləmə
Məlumatı AES ilə, AES açarını RSA ilə şifrləyin və səhvləri təhlükəsiz emal edin.
RSA-OAEP · DEK · AEADTezlikləProqram yeniləmələrinin imzalanması
Etibar, versiya yoxlamaları və imza açarı sızanda nə baş verir.
Ed25519 · versiyanın geri qaytarılmasıTezlikləSertifikat zəncirinin yoxlanması
Sahələri bir-bir pozun və hansı yoxlamanın uğursuz olduğunu izləyin.
X.509 · zəncir · ləğvetməTezlikləTLS 1.3 əl sıxışması və açar cədvəli
Kanaldakı mesajlar və bir ortaq sirri bütün trafik açarlarına çevirən HKDF ağacı.
RFC 8446 · 1-RTT · 0-RTTTezlikləİstismar
KMS və HSM ilə zərf şifrləməsi
Məlumat açarları, açar şifrləmə açarları və hər şeyi yenidən şifrləmədən rotasiya.
DEK · KEK · rotasiyaTezlikləPostkvant keçidin planlaşdırılması
Hibrid açar mübadiləsi, açar və imza ölçüləri və keçid planı.
ML-KEM · ML-DSA · SLH-DSATezliklə