Αξιολόγηση ασφαλείας για έξυπνα συμβόλαια Ethereum

Abstract

Με την παρούσα μεταπτυχιακή εργασία θα μελετήσουμε τις βασικές έννοιες του blockchain, των smart contracts καθώς και την ασφάλεια των τελευταίων. Tα smart contracts καταλαμβάνουν πολλούς τομείς της βιομηχανίας προκειμένου να αυτοματοποιηθούν οι διαδικάσιες και να εξαλειφθεί ο εξωτερικός διαμεσολαβητής. Συνεπώς, η ασφάλεια τους λαμβάνει όλο και μεγαλύτερη αξία και προσοχή. Θα αναλύσουμε γνωστές ευπάθειες των smart contracts και τρόπους αποφυγής τους με έμφαση στα εργαλεία στατικής ανάλυσης.