Section outline

  • ΤΡΙΤΗ 13/12/2022

    • Ψηφιακές Υπογραφές - Ορισμός
    • Μοντελοποίηση Ασφάλειας
    • Ψηφιακές Υπογραφές RSA, RSA-FDH
    • Το μοντέλου του τυχαίου μαντειου
    • Μη πλαστογραφησιμότητα RSA-FDH στο μοντέλου του τυχαίου μαντείου
    • Υπογραφές ElGamal

    Slides: DS 1-42

    Μελέτη: [ΖΠΓ] 7.1 - 7.4, [LK2] 12.1 - 12.4. 

    Προαιρετική Μελέτη: Σημειώσεις Bellare - Rogaway για RSA-FDH και απόδειξη μη πλαστογραφησιμότητας (12.3.5 - pdf)


    ΠΑΡΑΣΚΕΥΗ 16/12/2022

    • Ψηφιακές Υπογραφές DSA
    • Υποδομή Δημοσίου Κλειδιού

    Slides: DS 43-58

    • Αποδείξεις μηδενικής γνώσης
    • Παραδείγματα από Θ. Πολυπλοκότητας
    • Σ-Πρωτόκολλα
    • Υπογραφές Schnorr

    Slides: ZK 1-49

    Μελέτη: [ΖΠΓ] 10.1 - 10.3.

    Προαιρετική Μελέτη: 

    How To Simulate It - A Tutorial on the Simulation Proof Technique (iacr.org) (Ch.1, 2, 3, 5).

    Unifying Zero-knowledge Proofs of Knowledge - Information Security and Cryptography Research Group - ETH Zürich