Cristiano Longo accessibilità e informatica

EtnaWeb Realizzazione siti Web

I miei studi

Dopo aver conseguito la maturita' scientifica, nel lontano '97, mi sono laureato in informatica nella facolta' di Scienze MM. FF. NN. dell' universita' di Catania, esattamente il 4 Aprile del 2003. Ho presentato una tesi dal titolo Verifica di protocolli di sicurezza crittografici.

Tale tesi tratta un approccio formale per la trattazione e la verifica dei protocolli di sicurezza di seconda generazione, ossia di protocolli che prevedano al loro interno l'uso di altri protocolli ben noti.

Nel mio lavoro sono stato fortemente coadiuvato dal mio relatore, il Chiarissimo Professore Salvatore Riccobene, dal mio correlatore, il Dottor Giampaolo Bella, e dal Professor Lawrence C. Paulson dell'universita' di Cambridge.

Articoli

Alcuni risultati ottenuti durante il mio lavoro di tesi sono confluiti in due articoli :

  1. Al International Workshop on Security Protocols Cambridge, England un articolo dal titolo : Is the Verification Problem for Cryptographic Protocols Solved?.
  2. Al TPHOLs 2003 un articolo dal titolo Verifying Second-Level Security Protocols.

Ho partecipato inoltre al seminario di Michele Diodati dal titolo Accessibilità dei contenuti per il Web.

ShinyStat Logo Impegno Pro-Etica promosso da IWA Valid XHTML 1.0!