BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//TUC//Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:Europe/Athens
TZNAME:EEST
DTSTART:19700329T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
TZNAME:EET
DTSTART:19701025T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED:20240429T134152Z
LAST-MODIFIED:20240429T134152Z
DTSTAMP:20260616T184825Z
UID:1781624905@tuc.gr
SUMMARY:Παρουσίαση Μεταπτυχιακής Εργασίας κ.
  Γρηγορίου Ντουσάκη - Σχολή ΗΜΜΥ
LOCATION:145Π-42
DESCRIPTION:https://www.tuc.gr/el/to-polytechnei
 o/ilektronikes-ypiresies/imerologio/
 imerologio-ekdiloseon-1?tx_tucevents
 2_tuceventsdisplay%5Baction%5D=show&
 tx_tucevents2_tuceventsdisplay%5Bcon
 troller%5D=Event&tx_tucevents2_tucev
 entsdisplay%5Bevent%5D=6925&cHash=8b
 ae82e3d873274ad936612578b10366\nΠΟΛΥ
 ΤΕΧΝΕΙΟ ΚΡΗΤΗΣ\n Σχολή Ηλεκτρολόγων 
 Μηχανικών και Μηχανικών Υπολογιστών\
 n Πρόγραμμα Μεταπτυχιακών (Διδακτορι
 κών) Σπουδών\n ΠΑΡΟΥΣΙΑΣΗ ΜΕΤΑΠΤΥΧΙΑ
 ΚΗΣ ΕΡΓΑΣΙΑΣ \n Γρηγορίου Ντουσάκη\n
  με θέμα\n Εφαρμόζοντας Αδρομερή Δια
 μεσολάβηση Βιβλιοθηκών για Βελτίωση 
 Ασφάλειας\n Applying Dynamic Coarse-
 Grained Library Interposition to Sec
 urity\n Εξεταστική Επιτροπή\n Αναπλη
 ρωτής Καθηγητής Σωτήριος Ιωαννίδης (
 επιβλέπων)\n Καθηγητής Μιχαήλ Γ. Λαγ
 ουδάκης \n Επίκουρος Καθηγητής Νικόλ
 αος Βασιλάκης (Brown University, USA
 )\n Περίληψη\n Στο σύνθετο τοπίο του
  σημερινού λογισμικού, οι προγραμματ
 ιστές αντιμετωπίζουν την πρόκληση τη
 ς δημιουργίας περίπλοκων συστημάτων 
 που ανταποκρίνονται στις αυξανόμενες
  απαιτήσεις των χρηστών και των επιχ
 ειρήσεων. Μια κοινή προσέγγιση στην 
 ανάλυση, ανίχνευση και επίλυση προβλ
 ημάτων ασφαλείας σε αυτά τα συστήματ
 α είναι η χρήση της δυναμικής διαμεσ
 ολάβησης. Η δυναμική διαμεσολάβηση π
 εριλαμβάνει την προσθήκη νέας λειτου
 ργικότητας μεταξύ υπαρχουσών διεπαφώ
 ν λογισμικού για να επεκτείνει το σύ
 στημα διατηρώντας την παλιά λειτουργ
 ικότητα. Μία αποτελεσματική τεχνική 
 δυναμικής επανατοποθέτησης είναι η α
 δρομερής ανάλυση, η οποία λειτουργεί
  στο επίπεδο των μονάδων ή των βιβλι
 οθηκών σε σύγχρονες δυναμικές γλώσσε
 ς όπως το JavaScript και το Racket. 
 Η αδρομερής ανάλυση ωφελείται από τη
  δυνατότητα της δυναμικής φόρτωσης μ
 ονάδων σε χρόνο εκτέλεσης για να εφα
 ρμόζει ελαφριές μετατροπές κώδικα πο
 υ εισάγουν κώδικα ανάλυσης στα όρια 
 των μονάδων, αποτυπώνοντας τις αλληλ
 επιδράσεις γύρω από το πλαίσιο. Αυτό
  παρέχει μία προσέγγιση ανάλυσης χαμ
 ηλής υπερφόρτωσης, πάντα ενεργή. Αυτ
 ή η διπλωματική παρουσιάζει πολλαπλέ
 ς εφαρμογές της προσέγγισης αδρομερο
 ύς ανάλυσης σε επίπεδο μονάδας για ν
 α αποδείξει την πολυμορφικότητα της 
 και την πρακτική αξία της για την πα
 ρακολούθηση των προγραμμάτων, την αν
 άλυση και τις εργασίες ασφάλειας. Η 
 εργασία περιλαμβάνει δύο μελέτες του
  οικοσυστήματος του Node.js, ένα δυν
 αμικό μηχανισμό επιβολής για πολιτικ
 ές ασφαλείας, ένα σύστημα για την ασ
 φάλιση των προσθέτων γραμμένων σε C/
 C++ και ένα συνδυαστικό πλαίσιο στατ
 ικής και δυναμικής ανάλυσης. Στόχος 
 είναι να αποδείξει πώς αυτή η αδρομε
 ρής ανάλυσης σε επίπεδο μονάδας μπορ
 εί να ενεργοποιήσει πρακτική ανάλυση
  προγραμμάτων και ασφάλεια για περίπ
 λοκες εφαρμογές.\n Abstract\n     \n
  In today's complex software landsca
 pe, developers face the challenge of
  building complex systems that meet 
 the growing demands of users and bus
 inesses. A common approach to analyz
 ing, detecting problems, and solving
  security problems in these systems 
 is the use of dynamic interposition.
  Dynamic interposition involves addi
 ng new functionality between existin
 g software interfaces to extend the 
 system while preserving old function
 ality. An effective dynamic interpos
 ition technique is module recontextu
 alization, which operates at the mod
 ule or library level in modern dynam
 ic languages like JavaScript and Rac
 ket. Module recontextualization leve
 rages run-time module loading to app
 ly lightweight code transformations 
 that insert analysis code at module 
 boundaries, capturing interactions a
 round the module. This provides a lo
 w overhead, always-on analysis appro
 ach compared to instruction or proce
 dure-level techniques. This thesis p
 resents several applications of the 
 module-level dynamic interposition a
 pproach to demonstrate its versatili
 ty and practical value for program m
 onitoring, analysis, and security ta
 sks. The work includes two large-sca
 le studies of the Node.js ecosystem,
  a dynamic enforcement engine for la
 nguage policies, a system to secure 
 native add-ons, and a combined stati
 c and dynamic analysis framework. Th
 e goal is to show how this module-le
 vel interposition technique can enab
 le practical program analysis and se
 curity for complex applications.\n M
 eeting ID: 973 2592 6535\n Password:
  068292\n
STATUS:CONFIRMED
ORGANIZER;RSVP=FALSE;CN=TUC;CUTYPE=TUC:mailto:webmaster@tuc.gr
DTSTART:20240429T150000
DTEND:20240429T160000
TRANSP:OPAQUE
CLASS:DEFAULT
END:VEVENT
END:VCALENDAR