SAT-Based Verification of Differential Characteristics

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Period22 Apr 2024
Event titleBeating Real-Time Crypto: Solutions and Analysis
Event typeWorkshop
LocationLeiden, NetherlandsShow on map
Degree of RecognitionInternational

Documents & Links

  • slides

    File: application/pdf, 393 KB

    Type: Audiovisual