Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πιστοποιημένο Πρόγραμμα Σπουδών
  • |
  • GR
  • Τμήμα
      • Φυσιογνωμία
      • Κτιριακές Εγκαταστάσεις
      • Πολιτική Ποιότητας
      • Πολιτική Υποστήριξης, Ανάπτυξης & Αξιολόγησης του Προσωπικού
      • Διοίκηση
      • Φοιτητικές Ομάδες
      • Πιστοποίηση Τμήματος
      • Καλωσόρισμα Προέδρου
    • ΕΘΑΑΕ Πιστοποιημένο Πρόγραμμα Σπουδών
  • Σπουδές
    • Γνωστικά Αντικείμενα
    • Προπτυχιακές Σπουδές
    • Μεταπτυχιακές Σπουδές
      • Π.Μ.Σ. στην «Επιστήμη και Τεχνολογία ΗΜΜΥ»
      • Π.Μ.Σ. στα «Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας»
      • Π.Μ.Σ. στην «Εφαρμοσμένη Πληροφορική»
    • Διδακτορικές Σπουδές
    • Κινητικότητα
    • Κατάλογος Μαθημάτων
      • Προπτυχιακά Μαθήματα
      • Μεταπτυχιακά Μαθήματα
        • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Εφαρμοσμένη Πληροφορική
      • Erasmus
    • Πιστωτικές Μονάδες ECTS
    • Ακαδημαϊκό Ημερολόγιο Π.Π.Σ.
    • Ακαδημαϊκό Ημερολόγιο Π.Μ.Σ
    • Ωρολόγιο Π.Π.Σ. Εαρινού
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Χειμερινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Χειμερινού που διδάσκονται τώρα
      • Εβδομαδιαίο Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Ανα Έτος Ωρολόγιο Π.Π.Σ. Εαρινού Εξαμήνου
      • Μαθήματα Π.Π.Σ. Εαρινού που διδάσκονται τώρα
    • Ωρολόγιο Π.Μ.Σ. Εαρινού
      • Επιστήμη και Τεχνολογία ΗΜΜΥ
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Ευφυή Δίκτυα Ηλεκτρικής Ενέργειας
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιου Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
      • Εφαρμοσμένη Πληροφορική
        • Ωρολόγιο Π.Μ.Σ. Χειμερινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Χειμερινού που διδάσκονται τώρα
        • Ωρολόγιο Π.Μ.Σ. Εαρινού Εξαμήνου
        • Μαθήματα Π.Μ.Σ. Εαρινού που διδάσκονται τώρα
    • Πρόγραμμα Εξεταστικής
      • Εξεταστική Π.Π.Σ.
      • Εξεταστική Π.Μ.Σ.
    • Επαγγελματικά Θέματα
    • Πιστοποιήσεις
      • Πρόγραμμα Εξειδίκευσης στην «Επιστήμη Δεδομένων»
      • Πρόγραμμα Παιδαγωγικής & Διδακτικής Επάρκειας
    • Υποστήριξη Φοιτητών
      • Υποστήριξη ΦμεΑ
      • Συχνές Ερωτήσεις
      • Παρενόχληση - Εκφοβισμός
    • Πρακτική Άσκηση
  • Προσωπικό
        • Διδακτικό Ερευνητικό Προσωπικό
        • Ε.ΔΙ.Π. & Ε.Τ.Ε.Π.
        • Αφυπηρετήσαντες Καθηγητές & Διατελέσαντες Καθηγητές
        • Ομότιμοι Καθηγητές
        • Συνεργαζόμενοι Διδάσκοντες
        • Διοικητικό Προσωπικό & Τεχνικό Προσωπικό
  • Έρευνα
    • Εργαστήρια
    • Ερευνητικά Έργα
    • Μεταδιδακτορική Έρευνα
    • Υποψήφιοι Διδάκτορες
    • Διατριβές – Εργασίες
    • Το Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Πανεπιστημίου Θεσσαλίας στελεχώνεται από τακτικό Διδακτικό Ερευνητικό Προσωπικό (μέλη ΔΕΠ) υψηλού επιστημονικού επιπέδου, με ακαδημαϊκή θητεία και προϋπηρεσία σε εγνωσμένου κύρους ιδρύματα της Ελλάδας και του εξωτερικού. Η ερευνητική αριστεία των μελών ΔΕΠ αντικατοπτρίζεται σε ένα πλούσιο έργο που περιλαμβάνει πολυάριθμες δημοσιεύσεις σε κορυφαία επιστημονικά περιοδικά και συνέδρια, βιβλία και συλλογικούς τόμους, καθώς και κατοχυρωμένες πατέντες ευρεσιτεχνίας και τη διαχείριση χρηματοδοτούμενων ανταγωνιστικών ερευνητικών έργων.

      Η έρευνα στο Τμήμα υποστηρίζεται από θεσμοθετημένα εργαστήρια, τα οποία αποτελούν πόλους καινοτομίας και διεθνών συνεργασιών, καλύπτοντας ένα ευρύ φάσμα τεχνολογιών αιχμής. Είναι αξιοσημείωτο ότι μέλη του προσωπικού μας συγκαταλέγονται σταθερά στην παγκόσμια κατάταξη του 2% των κορυφαίων επιστημόνων (Stanford University list), επιβεβαιώνοντας τη διεθνή απήχηση του έργου τους. Τα μέλη ΔΕΠ διατηρούν στρατηγικές συνεργασίες με εθνικές και διεθνείς ερευνητικές ομάδες και τη βιομηχανία, ενώ χαίρουν διεθνούς αναγνώρισης, έχοντας διακριθεί με βραβεία και αναλαμβάνοντας ηγετικούς ρόλους (Editorial Board Member, Chair) σε διεθνούς κύρους επιστημονικά συνέδρια και οργανισμούς όπως το ΙΕΕΕ. Αυτή η ενεργή ερευνητική δραστηριότητα τροφοδοτεί άμεσα την εκπαιδευτική διαδικασία, διασφαλίζοντας ότι οι φοιτητές μας, ιδιαίτερα στα μαθήματα επιλογής των μεγαλύτερων ετών και κατά την εκπόνηση της Διπλωματικής Εργασίας τους, αποκτούν γνώση αιχμής που βρίσκεται στην πρώτη γραμμή της παγκόσμιας καινοτομίας.

  • Απόφοιτοι
      • Ισοτιμία ΜΗΥΤΔ με ΗΜΜΥ
      • Γνώμες Αποφοίτων
      • Διδάκτορες
  • Υπηρεσίες
    • Γραμματεία
      • Πληροφορίες
      • Γενικά Έντυπα
    • Τεχνική Υποστήριξη
  • Ανακοινώσεις
    • Γενικές Ανακοινώσεις
    • Τελευταία Νέα & Εκδηλώσεις
    • Συνέδρια
    • Πρωτοετών
    • Αποφοίτων
    • Θέσεις Εργασίας
    • Υποτροφίες
    • Αποφάσεις Συλλογικών Οργάνων
    • Πρόσφατες Ανακοινώσεις

      • 28/04/2026 Προσωρινά Αποτελέσματα Σταδίου 1 Πρακτικής Άσκησης
      • 25/04/2026 Το ΤΗΜΜΥ στο DATE ’26
      • 23/04/2026 Ορισμός Βαθμολογητών και Αναβαθμολογητών Κατατακτηρίων Εξετάσεων 2026-2027
      • 23/04/2026 Συγκρότηση Επιτροπής Κατατακτηρίων Εξετάσεων ακαδημαϊκού έτους 2026-2027
      • 03/04/2026 Χορήγηση Υποτροφιών σε επιμελείς φοιτητές/τριες που ανήκουν σε ευπαθείς κοινωνικές ομάδες (ΕΚΟ)-τρίτεκνους/πολύτεκνους ακαδ. έτους 2023-2024
  • Επικοινωνία
    • Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
      • Σέκερη και Χέυδεν
        Πεδίον Άρεως, κτίριο ΤμΗΜΜΥ
        ΤΚ 383 34, Βόλος
      Τηλ.+30 24210 74967, +30 24210 74934
      e-mailgece ΑΤ uth.gr
      Τηλ. Π.Μ.Σ.+30 24210 74933
      e-mail Π.Μ.Σ.pgsec ΑΤ uth.gr
      Ιστοσελίδαhttps://www.e-ce.uth.gr/contact-info/
  • Είσοδος

ECE561 Τυπική Επαλήθευση Κρυπτοσυστημάτων

Αρχική » Σπουδές » Προπτυχιακές Σπουδές » Προπτυχιακά Μαθήματα » ECE561 Τυπική Επαλήθευση Κρυπτοσυστημάτων

Loading…

Δομή Προαπαιτούμενων Μαθημάτων

Xρώμα κόμβου:
1ο Έτος 2ο Έτος 3ο Έτος 4ο-5ο Έτος


Σχήμα Κόμβου:
Κύκλος: Υποχρεωτικό Μάθημα
Τετράγωνο: Μάθημα Επιλογής
Αστεράκι: Μάθημα για το οποίο γίνεται η αναζήτηση των προαπαιτουμένων


Σύρσιμο Κόμβου:
Κάνοντας κλίκ στον κόμβο και μετακινώντας το ποντίκι.


Μεγένθυση & Μετακίνηση Γραφήματος:
Κάνοντας κύλιση (scrolling) και σύρσιμο (dragging) του ποντικιού.

Γνωστικό ΑντικείμενοΥλικού και Αρχιτεκτονικής Υπολογιστών (ΥΑ)
ΕξάμηνοΕξάμηνο 9 – Χειμερινό
Είδος ΜαθήματοςΕπιλογής
Τύπος Μαθήματος Ειδίκευσης
Συν. Εβδ. Ωρών Διδασκαλίας4
Ώρες Θεωρίας2
Ώρες Εργαστηρίου1
Ώρες Φροντιστηρίου1
Μονάδες ECTS6
Προαπαιτούμενα Μαθήματα
  • ECE118 Διακριτά Μαθηματικά
  • ECE418 Τεχνολογίες Blockchain και Αποκεντρωμένες Εφαρμογές

Σελίδα Μαθήματοςhttps://eclass.uth.gr/courses/E-CE_P_114/
Υπεύθυνος Μαθήματος

Μούντανος ΙωάννηςΜούντανος Ιωάννης, Αναπληρωτής Καθηγητής
E-mail: jmoondan@uth.gr

Διδάσκων
  • Μούντανος Ιωάννης, Αναπληρωτής Καθηγητής
    E-mail: jmoondan@uth.gr
Βιβλιογραφία
  • “Bitcoin and Cryptocurrency Technologies” by Arvind Narayanan, Joseph Bonneau, Edward Felten,Andrew Miller, Steven Goldfeder
Ικανότητες – Δεξιότητες
  • Αναζήτηση, ανάλυση και σύνθεση δεδομένων και πληροφοριών, με τη χρήση και των απαραίτητων τεχνολογιών
  • Αυτόνομη εργασία
  • Εργασία σε διεπιστημονικό περιβάλλον
  • Παραγωγή νέων ερευνητικών ιδεών
Υποχρεώσεις φοιτητών
  • Υποχρεωτική παρακολούθηση θεωρίας
  • Υποχρεωτική παρακολούθηση εργαστηρίου
  • Υποχρεωτική συμμετοχή σε προόδους
  • Υποχρεωτική συμμετοχή σε εξετάσεις
  • Υποχρεωτική εκπόνηση εργασιών
  • Υποχρεωτική παρουσίαση εργασιών
  • Υποχρεωτική παράδοση ασκήσεων
  • Περιγραφή-Στόχοι
  • Μαθησιακά Αποτελέσματα
  • Αξιολόγηση Φοιτητών
  • Κατανομή ύλης
  • Διακριτοί Λογάριθμοι
  • Παραγοντοποίηση ακεραίων
  • Τυφλές Ψηφιακές Υπογραφές
  • Ψηφιακά Χρήματα
  • Ψηφιακά Συμβόλαια
  • Διερεύνηση ορθής Λειτουργίας Κρυπτοσυστημάτων
  • Έρευνες επί Κρυπτοσυστημάτων
  • Επαλήθευση Κρυπτοσυστημάτων μέσω Ζ3

Το μάθημα περιλαμβάνει τις τεχνικές που απαιτούνται για την αξιόπιστη σχεδίαση αλγορίθμων τυπικής επαλήθευσης  κρυπτοσυστημάτων.

Με την επιτυχή ολοκλήρωση του μαθήματος ο φοιτητής / η φοιτήτρια θα είναι σε θέση να:

  • Έχει κατανόηση των βασικών ορισμών και των εξειδικευμένων θεμάτων που σχετίζονται με τα προβλήματα και τις τεχνικές σχεδίασης προγραμμάτων τυπικής επαλήθευσης κρυπτοσυστημάτων.
  • Έχει τις εξειδικευμένες γνώσεις σε προχωρημένα θέματα που απαντώνται στη σύγχρονη διερεύνηση ορθής λειτουργείας κρυπτοσυστημάτων
  • Εξηγεί και να επιλύει προβλήματα που σχετίζονται με αλγορίθμους που τρέχουν σε βασικά κρυπτοσυστήματα και να σχολιάζει θέματα από σημαντικές δημοσιεύσεις του τομέα.
  • Υλοποιεί στρατηγικές σχεδίασης σε συνδυασμό με τις ήδη υπάρχουσες μεθόδους υλοποίησης κρυπτοσυστημάτων
  • Συνεργάζεται με τους συναδέλφους του για να δημιουργούν και να παρουσιάζουν μια ομαδική εργασία πάνω σε κάποιο θέμα που αφορά τη σχεδίαση και υλοποίηση προγραμμάτων τυπικής επαλήθευσης κρυπτοσυστημάτων.
  • Αναζητάει και να μελετάει σύγχρονη βιβλιογραφία σε διεθνούς κύρους περιοδικά και συνέδρια, να εξηγεί και να αξιολογεί σε ικανοποιητικό βαθμό δημοσιεύσεις από αυτά, καθώς και να παρουσιάζει τα συμπεράσματά του στην τάξη, εφόσον επιλέξει ατομική εργασία.

Όπως προκύπτει απο το πεδίο των υποχρεώσεων των φοιτητών.

  1. ΕΙΣΑΓΩΓΗ
  2. ΚΑΤΑΝΕΜΗΜΕΝΑ ΣΥΣΤΗΜΑΤΑ
  3. ΣΥΜΦΩΝΙΑ ΚΑΙ ΟΜΟΦΩΝΙΑ
  4. BLOCKCHAIN
  5. ΟΜΟΦΩΝΙΑ BLOCKCHAIN
  6. ΑΡΧΙΚΑ ΠΡΟΤΟΚΟΛΛΑ
  7. ΚΛΑΣΣΙΚΑ ΠΡΟΤΟΚΟΛΛΑ ΟΜΟΦΩΝΙΑΣ
  8. ΒΑΣΙΚΑ ΠΡΟΤΟΚΟΛΛΑ ΟΜΟΦΩΝΙΑΣ ΜΕΤΑ ΤΟ BITCOIN
  9. ΠΡΟΧΩΡΗΜΕΝΑ ΠΡΟΤΟΚΟΛΛΑ ΜΕΤΑ ΤΟ BITCOIN
  10. ΙΔΙΟΤΗΤΕΣ ΠΡΟΤΟΚΟΛΛΩΝ
  11. ΤΥΠΙΚΗ ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΠΡΟΤΟΚΟΛΛΩΝ
  12. ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ ΠΡΟΤΟΚΟΛΛΩΝ  ΟΜΟΦΩΝΙΑΣ Ι
  13. ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ ΠΡΟΤΟΚΟΛΛΩΝ ΟΜΟΦΩΝΙΑΣ ΙΙ

Πρόσφατες Ανακοινώσεις

  • 28/04/2026 Προσωρινά Αποτελέσματα Σταδίου 1 Πρακτικής Άσκησης
  • 25/04/2026 Το ΤΗΜΜΥ στο DATE ’26
  • 23/04/2026 Ορισμός Βαθμολογητών και Αναβαθμολογητών Κατατακτηρίων Εξετάσεων 2026-2027
  • 23/04/2026 Συγκρότηση Επιτροπής Κατατακτηρίων Εξετάσεων ακαδημαϊκού έτους 2026-2027

e-Yπηρεσίες

e-Class Ηλεκτρονική πλατφόρμα μαθημάτων
Εύδοξος Διανομή Συγγραμάτων
Ακαδημαϊκή Ταυτότητα Πάσο Φοιτητή
SIS-Web Ηλεκτρονική Γραμματεία
Webmail Ηλεκτρονικό Ταχυδρομείο
Erasmus+ Άνοιξε τους ορίζοντές σου

ΤΗΜΜΥ

Στην αιχμή της εκπαίδευσης και της έρευνας στην Ηλεκτρολογία και τη Μηχανική Υπολογιστών, διαμορφώνουμε τους μηχανικούς του μέλλοντος.

Ανακοινώσεις

  • Γενικές Ανακοινώσεις
  • Τελευταία Νέα & Εκδηλώσεις
  • Θέσεις Εργασίας
  • Υποτροφίες
  • Αποφάσεις Συλλογικών Οργάνων

Επικοινωνία

  • Σέκερη & Χέυδεν, Πεδίον Άρεως, 38334, Βόλος
  • +30 24210 74967
  • +30 24210 74934
  • gece@uth.gr
© Copyright 2026 Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Ο παρών ιστότοπος χρησιμοποιεί cookies για να εξασφαλίσει την καλύτερη δυνατή εμπειρία σου στο site μας.ΕΝΗΜΕΡΩΘΗΚΑΠληροφορίες