KS-CFA: Control-Flow Attestation via Symbolic Replay Against Control-Flow Bending Attacks
Zhanyu Sha, Konstantinos Markantonakis, Carlton Shepherd, Amir Rafi
Προδημοσίευση
Καθηγητής Ασφάλειας Πληροφοριών στο Royal Holloway, University of London, και Διευθυντής του Κέντρου Αξιόπιστων, Ενσωματωμένων και Αυτόνομων Συστημάτων (TASC).
Προσέγγιση
Συστήματα ασφάλειας πληροφοριών θεωρητικά ορθά αποτυγχάνουν στην πράξη, επειδή ο αντίπαλος στοχεύει το ασθενέστερο και πιο προσβάσιμο σημείο ενός συστήματος — συνήθως την υλοποίηση και όχι την απόδειξη.
Η γεφύρωση αυτού του χάσματος αποτελεί κεντρικό άξονα της δουλειάς μου από το 1998: έξυπνες κάρτες και RFID, IoT και ενσωματωμένες πλατφόρμες, κινητές συσκευές, έμπιστα περιβάλλοντα εκτέλεσης, έξυπνα συμβόλαια, αεροναυτική και μη επανδρωμένα αεροσκάφη, κυβερνοφυσικές διεπαφές και περιβάλλοντα εκτέλεσης στο νέφος. Πιο πρόσφατα η ομάδα μου εργάζεται σε επιθέσεις ελεγκτή μνήμης και μικροαρχιτεκτονικής, αυτοματοποιημένο fuzzing για συσκευές ARM IoT, πιστοποίηση ροής ελέγχου, εγκληματολογική ανάλυση κινητών και στην προστασία μοντέλων και δεδομένων τεχνητής νοημοσύνης σε ενσωματωμένες και κατανεμημένες πλατφόρμες.
Έρευνα
Η έρευνά μου διερευνά πώς ο έμπιστος υπολογισμός και οι ασφαλείς αρχιτεκτονικές συστημάτων μπορούν να προστατεύσουν συνδεδεμένα, ενσωματωμένα συστήματα και συστήματα με τεχνητή νοημοσύνη.
Έμπιστα περιβάλλοντα εκτέλεσης, πιστοποίηση πλατφόρμας και προστασία με υποστήριξη υλικού για ευαίσθητες εφαρμογές, δεδομένα και φόρτους τεχνητής νοημοσύνης — έξυπνες κάρτες, Intel SGX, ARM TrustZone, AMD SEV και Trusted Platform Modules.
Προστασία μοντέλων τεχνητής νοημοσύνης, δεδομένων και αποφάσεων σε ενσωματωμένα, αυτόνομα και κατανεμημένα περιβάλλοντα: έμπιστη εκτέλεση, ασφαλής εγκατάσταση και συνεργατική μάθηση με σεβασμό στην ιδιωτικότητα.
Αρχιτεκτονικές ασφάλειας για ενσωματωμένες, συνδεδεμένες και αυτόνομες πλατφόρμες: ανίχνευση εισβολών με τεχνητή νοημοσύνη, δίκτυα εντός οχήματος, ασφάλεια ECU και ακεραιότητα ενημερώσεων εξ αποστάσεως.
Αξιόπιστη λειτουργία συστημάτων που χρησιμοποιούν τεχνητή νοημοσύνη για να αντιλαμβάνονται, να αποφασίζουν και να δρουν — ακεραιότητα, ανθεκτικότητα και επαληθεύσιμη εκτέλεση σε οχήματα, μη επανδρωμένα αεροσκάφη και βιομηχανικό έλεγχο.
Επαλήθευση ότι μια πλατφόρμα βρίσκεται σε γνωστή κατάσταση πριν συμβεί οτιδήποτε κρίσιμο — συμπεριλαμβανομένης της πιστοποίησης ροής ελέγχου, που ελέγχει τη συμπεριφορά κατά την εκτέλεση και όχι μόνο την εικόνα εκκίνησης.
Ακεραιότητα ελεγκτή πτήσης, ασφάλεια επίγειου σταθμού, αντίμετρα σε παραπλάνηση και παρεμβολή GPS, και πιστοποίηση προσαρμοσμένη στους περιορισμούς του εναέριου ενσωματωμένου υλικού.
Αρχιτεκτονικές ασφάλειας Android και iOS, ενσωμάτωση ασφαλών στοιχείων, κρυφά κανάλια μέσω αισθητήρων και δακτυλικό αποτύπωμα συσκευών, καθώς και τα συστήματα DRM που προστατεύουν εμπορικό περιεχόμενο σε πέντε δισεκατομμύρια συσκευές.
Πρωτόκολλα EMV και ανέπαφων πληρωμών, tokenisation, ανίχνευση επιθέσεων αναμετάδοσης με αισθητήρες περιβάλλοντος, και οι υποδομές έκδοσης εισιτηρίων που κινούν τις πόλεις.
Προφίλ
Πρόσφατες δημοσιεύσεις
Η πιο πρόσφατη δουλειά.
Zhanyu Sha, Konstantinos Markantonakis, Carlton Shepherd, Amir Rafi
Προδημοσίευση
Amir Rafi, Konstantinos Markantonakis, Hamza Rafi, Carlton Shepherd, Zhanyu Sha
8th IEEE International Conference on Signal Processing and Information Security (ICSPIS 2025)
Zhanyu Sha, Carlton Shepherd, Amir Rafi, Konstantinos Markantonakis
Computers & Security, vol. 150, art. 104254
Carlton Shepherd, Jan Kalbantner, Benjamin Semal, Konstantinos Markantonakis
IEEE Transactions on Dependable and Secure Computing, vol. 21, no. 4
Konstantinos Markantonakis, Ghada Arfaoui, Sarah Abu Ghazalah, Carlton Shepherd, Raja Naeem Akram, Damien Sauveron
Smart Cities, vol. 7, no. 5, pp. 2887–2909
Amir Rafi, Carlton Shepherd, Konstantinos Markantonakis
22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2023)
Βιβλία
Ένα έργο σχεδόν δύο δεκαετιών, που χαρτογραφεί την εξέλιξη του ασφαλούς υπολογισμού από τις έξυπνες κάρτες πολλαπλών εφαρμογών έως τα σημερινά έμπιστα περιβάλλοντα εκτέλεσης.

2024
Carlton Shepherd και Konstantinos Markantonakis
ISBN 978-3-031-55560-2
Springer
2017
Keith Mayes και Konstantinos Markantonakis (επιμ.) — δεύτερη έκδοση
ISBN 978-3-319-50498-8
Springer
2014
Konstantinos Markantonakis και Keith Mayes (επιμ.)
ISBN 978-1-4614-7914-7
Springer
2008
Keith E. Mayes και Konstantinos Markantonakis (επιμ.) — πρώτη έκδοση
ISBN 978-0-387-72197-2
SpringerΕπίβλεψη
Επιβλέπω υποψήφιους διδάκτορες σε έμπιστα περιβάλλοντα εκτέλεσης, ασφάλεια συστημάτων πληρωμών, ασφάλεια οχημάτων και ενσωματωμένων συστημάτων, ανθεκτικούς ενσωματωμένους αισθητήρες, καθώς και σε επιθέσεις σε συστήματα τεχνητής νοημοσύνης και σε περιβάλλοντα εκτέλεσης στο νέφος και στα αντίστοιχα αντίμετρα. Το έργο αυτό εστιάζει όλο και περισσότερο στην προστασία μοντέλων τεχνητής νοημοσύνης, δεδομένων και αποφάσεων στις συσκευές και τις πλατφόρμες όπου εκτελούνται. Από το 2004 έχω επιβλέψει έως την ολοκλήρωσή τους περισσότερες από 17 διδακτορικές διατριβές.
Ακούω πάντοτε με ενδιαφέρον ισχυρούς υποψηφίους με υπόβαθρο στην πληροφορική, την ασφάλεια πληροφοριών, την ηλεκτρονική ή τη μηχανική υπολογιστών. Η πρακτική επάρκεια — ιδίως στην ανάπτυξη λογισμικού — εκτιμάται ιδιαίτερα, όπως και το έντονο ενδιαφέρον για την ασφάλεια συστημάτων και τον έμπιστο υπολογισμό.
Νέα
Δημοσιεύσεις, βραβεία, γνωστοποιήσεις και διορισμοί.