SAT-Based Verification of Differential Characteristics

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Zeitraum22 Apr. 2024
EreignistitelBeating Real-Time Crypto: Solutions and Analysis
VeranstaltungstypWorkshop
OrtLeiden, NiederlandeAuf Karte anzeigen
BekanntheitsgradInternational

Dokumente & Verweise

  • slides

    Datei: application/pdf, 393 KB

    Typ: Audiovisuell