Comparative Analysis of Stateful Fuzzing Techniques Applied on EDHOC Implementations

Τσουλούκας, Ιωάννης; Tsouloukas, Ioannis

dc.contributor.author	Τσουλούκας, Ιωάννης	el
dc.contributor.author	Tsouloukas, Ioannis	en
dc.date.accessioned	2024-09-02T09:44:21Z
dc.date.available	2024-09-02T09:44:21Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/60087
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.27783
dc.rights	Default License
dc.subject	Protocol security	en
dc.subject	Stateful fuzzing	en
dc.subject	Active automata learning	en
dc.subject	Protocol state fuzzing	en
dc.subject	EDHOC	en
dc.subject	Ασφάλεια πρωτοκόλλων	el
dc.subject	Stateful fuzzing	el
dc.subject	Active automata learning	el
dc.subject	Protocol state fuzzing	el
dc.subject	EDHOC	el
dc.title	Comparative Analysis of Stateful Fuzzing Techniques Applied on EDHOC Implementations	en
heal.type	bachelorThesis
heal.classification	Computer Science	en
heal.classification	Επιστήμη Υπολογιστών	el
heal.language	el
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2024-04-16
heal.abstract	Η παρούσα διπλωματική εργασία διερευνά την έννοια του stateful fuzzing, μιας εξειδικευμένης μορφής fuzz testing που λαμβάνει υπόψη την κατάσταση του συστήματος υπό έλεγχο. Παρουσιάζει μια νέα προσέγγιση όπου το υποκείμενο μοντέλο μηχανής κατάστασης του υπό δοκιμή συστήματος μαθαίνεται πριν από την πραγματική διαδικασία fuzzing, αντί κατά τη διάρκειά της. Η αποτελεσματικότητα αυτής της μεθόδου συγκρίνεται με πρόσφατους fuzzers, τους AFLNet και StateAFL στο πλαίσιο του πρωτοκόλλου EDHOC, ενός πρωτοκόλλου ασφαλούς ανταλλαγής κλειδιών.	el
heal.abstract	This thesis explores the concept of stateful fuzzing, a specialized form of fuzz testing that considers the state of the system being tested. It presents a novel approach where the underlying state machine model of the system under test is learned before the actual fuzzing process, rather than during it. The effectiveness of this method is compared with state-of-the-art fuzzers, AFLNet and StateAFL in the context of the EDHOC protocol, a secure key exchange protocol.	en
heal.advisorName	Σαγώνας, Κωνσταντίνος	el
heal.committeeMemberName	Φωτάκης, Δημήτριος	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.	el
heal.academicPublisherID	ntua
heal.fullTextAvailability	false