K. MarkantonakisInformation Security Group, Royal Holloway
Konstantinos Markantonakis davanti al Founder’s Building, Royal Holloway, University of London

Konstantinos Markantonakis

Information Security Group

Professore ordinario di Information Security alla Royal Holloway, University of London, e direttore del Trustworthy, Embedded and Autonomous Systems Centre (TASC).

Impostazione

I sistemi di sicurezza delle informazioni solidi in teoria falliscono comunque nella pratica, perché un avversario prende di mira la parte più debole e accessibile di un sistema — di norma l’implementazione, non la dimostrazione.

Colmare questo divario è al centro del mio lavoro dal 1998: smart card e RFID, IoT e piattaforme embedded, dispositivi mobili, ambienti di esecuzione fidati, smart contract, avionica e droni, interfacce ciberfisiche e ambienti di esecuzione cloud. Più di recente il mio gruppo ha lavorato su attacchi al controllore di memoria e microarchitetturali, fuzzing automatizzato per dispositivi IoT ARM, attestazione del flusso di controllo, informatica forense della telefonia mobile e protezione di modelli e dati di IA su piattaforme embedded e distribuite.

Di più sul mio percorso

Banco di prova per la sicurezza hardware nel laboratorio della Royal Holloway
Il laboratorio del centro alla Royal Holloway: banchi per canali laterali e iniezione di guasti, schede di sviluppo RISC-V e piattaforme di prova automobilistiche e per droni.

Ricerca

Temi di ricerca

La mia ricerca studia come il calcolo fidato e le architetture di sistema sicure possano proteggere i sistemi connessi, embedded e abilitati all’IA.

Calcolo fidato e confidenziale

Ambienti di esecuzione fidati, attestazione di piattaforma e protezione assistita dall’hardware per applicazioni, dati e carichi di lavoro di IA sensibili — smart card, Intel SGX, ARM TrustZone, AMD SEV e Trusted Platform Module.

Sicurezza e affidabilità dei sistemi abilitati all’IA

Protezione dei modelli di IA, dei dati e delle decisioni in ambienti embedded, autonomi e distribuiti: esecuzione fidata, distribuzione sicura e apprendimento collaborativo rispettoso della riservatezza.

Sicurezza dei sistemi embedded e automobilistici

Architetture di sicurezza per piattaforme embedded, connesse e autonome: rilevamento delle intrusioni assistito dall’IA, reti di bordo, sicurezza delle centraline e integrità degli aggiornamenti over-the-air.

Sicurezza dei sistemi autonomi

Funzionamento affidabile dei sistemi che usano l’IA per percepire, decidere e agire — integrità, resilienza ed esecuzione verificabile fra veicoli, aeromobili senza pilota e controllo industriale.

Attestazione di piattaforma

Verificare che una piattaforma sia in uno stato noto prima che accada qualcosa di sensibile — compresa l’attestazione del flusso di controllo, che controlla il comportamento a tempo di esecuzione e non solo l’immagine di avvio.

Sicurezza avionica e dei droni

Integrità del controllore di volo, sicurezza delle stazioni di terra, contromisure allo spoofing e al disturbo del GPS e attestazione costruita sui vincoli dell’hardware embedded di bordo.

Sicurezza dei dispositivi mobili e dei media

Architetture di sicurezza di Android e iOS, integrazione degli elementi sicuri, canali occulti basati sui sensori, fingerprinting dei dispositivi e i sistemi DRM che proteggono i contenuti commerciali su cinque miliardi di telefoni.

Sistemi di pagamento e trasporto

Protocolli EMV e di pagamento contactless, tokenizzazione, rilevamento degli attacchi relay tramite sensori ambientali e le infrastrutture di bigliettazione che muovono le città.

Tutte le aree di ricerca e i temi specifici

Pubblicazioni recenti

Pubblicazioni scelte

I lavori più recenti.

Tutte le 220 pubblicazioni

Libri

Libri

Un corpus costruito in quasi vent’anni, che ripercorre l’evoluzione del calcolo sicuro dalle smart card multiapplicazione agli ambienti di esecuzione fidati di oggi.

Cover of Trusted Execution Environments

2024

Trusted Execution Environments

Carlton Shepherd e Konstantinos Markantonakis

ISBN 978-3-031-55560-2

Springer
Cover of Smart Cards, Tokens, Security and Applications

2017

Smart Cards, Tokens, Security and Applications

Keith Mayes e Konstantinos Markantonakis (a cura di) — seconda edizione

ISBN 978-3-319-50498-8

Springer
Cover of Secure Smart Embedded Devices, Platforms and Applications

2014

Secure Smart Embedded Devices, Platforms and Applications

Konstantinos Markantonakis e Keith Mayes (a cura di)

ISBN 978-1-4614-7914-7

Springer
Cover of Smart Cards, Tokens, Security and Applications

2008

Smart Cards, Tokens, Security and Applications

Keith E. Mayes e Konstantinos Markantonakis (a cura di) — prima edizione

ISBN 978-0-387-72197-2

Springer

Supervisione

Supervisione di dottorato

Seguo dottorandi su ambienti di esecuzione fidati, sicurezza dei sistemi di pagamento, sicurezza dei veicoli e dei sistemi embedded, sensori embedded resilienti, attacchi all’IA e all’esecuzione nel cloud e relative contromisure. Questo lavoro riguarda sempre più la protezione di modelli di IA, dati e decisioni sui dispositivi e sulle piattaforme in cui vengono eseguiti. Dal 2004 ho seguito fino al conseguimento del titolo oltre 17 dottorati.

Sono sempre interessato a conoscere candidati validi con una formazione in informatica, sicurezza delle informazioni, ingegneria elettronica o ingegneria informatica. La competenza pratica — in particolare nello sviluppo software — è particolarmente apprezzata, come pure un vivo interesse per la sicurezza dei sistemi e il calcolo fidato.

Dottorato: opportunità e finanziamenti

Dottorandi in corso

  • Nicola BatesDeterrenza cibernetica
  • Amir RafiSicurezza dei media e DRM
  • Zhanyu ShaAttestazione del flusso di controllo
  • Makarand KaranjalkarIntelligence sulle minacce

Dottorandi in corso ed ex allievi

Notizie

Ultime notizie

Articoli, premi, divulgazioni e nomine.

ottobre 2026Il centro cambia nome in TASCDopo più di vent’anni, lo Smart Card and IoT Security Centre è stato ribattezzato Trustworthy, Embedded and…luglio 2026Attestazione del flusso di controllo tramite replay simbolicoZhanyu Sha, con il Dr Carlton Shepherd e Amir Rafi, ha pubblicato KS-CFA, che esegue l’attestazione del flusso di controllo…gennaio 2026Rischi per sicurezza e riservatezza nel W3C Encrypted Media ExtensionsAmir Rafi ha presentato a IEEE ICSPIS l’analisi del gruppo sullo standard W3C Encrypted Media Extensions. EME regge la riproduzione…marzo 2025Prima rassegna completa sull’attestazione del flusso di controlloZhanyu Sha, il Dr Carlton Shepherd, Amir Rafi e io abbiamo pubblicato su Computers & Security una rassegna sull’attestazione del…gennaio 2025Un approccio a condivisione di segreti contro gli imbrogli sui pacchetti nei giochi onlineYaqi Cai, il Dr Carlton Shepherd e io abbiamo pubblicato un lavoro sugli imbrogli basati sui pacchetti di rete nei giochi…giugno 2024Springer pubblica Trusted Execution EnvironmentsIl Dr Carlton Shepherd e io abbiamo pubblicato Trusted Execution Environments, la prima trattazione monografica dei TEE moderni. Va…2024Canali occulti nel multiplexing dei sensori AndroidUn lavoro con il Dr Carlton Shepherd, il Dr Jan Kalbantner e Benjamin Semal, pubblicato su IEEE Transactions on Dependable and…2024Sensori ambientali per il rilevamento degli attacchi relay, riprodottoUno studio di riproducibilità su IEEE Access ha riesaminato se i sensori ambientali possano stabilire in modo affidabile la…novembre 2023Prima valutazione di sicurezza dei sistemi DRM mobiliAmir Rafi ha presentato a IEEE TrustCom la prima valutazione di sicurezza specifica per i sistemi mobili di Digital Rights…
↑↓ move↵ openesc close