Il Prof. David Basin nominato Amico dell'IEEE
Il professore David Basin (D-INFK) è stato nominato IEEE Fellow per i suoi contributi ai metodi formali nella sicurezza delle informazioni. La prestigiosa nomina di IEEE Fellow viene assegnata a persone che hanno dimostrato di aver ottenuto risultati eccezionali in un campo di interesse per l'IEEE.
Ogni anno, il Comitato IEEE Fellows nomina un gruppo selezionato di persone per l'assegnazione del titolo di IEEE Fellows. Nel novembre 2020, il Consiglio di amministrazione dell'IEEE ha infine elevato il professore David Basin a IEEE Fellow. Questo premio riconosce i suoi ampi risultati di ricerca nel campo dei metodi formali per la sicurezza delle informazioni. Essere onorati come IEEE Fellow è considerato un importante traguardo professionale.
Il professore Basin e i suoi collaboratori hanno sviluppato diversi strumenti di model checking all'avanguardia per i protocolli di sicurezza: OFMC, AVISPA e Tamarin. L'ultimo strumento, Tamarin, si basa su un risolutore di vincoli simbolici avanzato. Ha una comunità di utenti in tutto il mondo ed è stato utilizzato per trovare bug in protocolli critici come il protocollo di autenticazione delle entità ISO/IEC 9798, i protocolli di accordo di chiave di gruppo e nello sviluppo di standard più recenti come il protocollo Signal, TLS versione 1.3 e l'attuale standard 5G.
Basin ha anche sviluppato il concetto di "sicurezza guidata dal modello" e ha realizzato strumenti per progettare e convalidare sistemi critici per la sicurezza in modo incentrato sul modello. Gli sviluppatori specificano i modelli di sistema insieme ai loro requisiti di sicurezza. Gli strumenti generano automaticamente i sistemi a partire dai modelli, comprese le infrastrutture di sicurezza complete e configurate. Questo lavoro ha portato alla creazione di una nuova area di ricerca che comprende i principi, i metodi e gli strumenti per lo sviluppo model-driven di applicazioni safety-critical.
Chi siamo Prof David Basin
Il Prof. David Basin è capo del Dipartimento di informatica e professore presso l'Istituto di sicurezza informatica, dove dirige il gruppo di sicurezza informatica. La sua ricerca si concentra sulla sicurezza delle informazioni, in particolare su fondamenti, metodi e strumenti per modellare, costruire e convalidare sistemi sicuri e affidabili. Nel 2018 è stato nominato ACM Fellow per i suoi contributi alla sicurezza delle informazioni e ai metodi formali. ? anche il direttore fondatore dello ZISC (Centro per la sicurezza delle informazioni di Zurigo), che ha guidato dal 2003 al 2011.
Chi siamo
IEEE è l'associazione professionale leader a livello mondiale per le tecnologie avanzate per l'umanità. Con oltre 400.000 membri in 160 Paesi, l'associazione è un'autorità centrale in campi che vanno dai sistemi aerospaziali, ai computer e alle telecomunicazioni, all'ingegneria biomedica, all'energia elettrica e all'elettronica di consumo. L'IEEE pubblica il 30% della letteratura mondiale nei settori dell'elettrotecnica, dell'elettronica e dell'informatica e ha sviluppato più di 1300 standard industriali attivi. pagina esternaDi più