Mercoledì 25 giugno 2008, alle ore 17:00, presso l’ Aula Multimediale, il Dipartimento di Matematica e Informatica organizza il seguente seminario:

“La lunga marcia dei generali bizantini”

Prof. Lorenzo Alvisi
Professore Ordinario, Faculty Fellow, e Graduate Advisor presso il Dipartimento di Computer Sciences dell'Università del Texas ad Austin.

Sommario
Governo, industria, e l'intera società civile si affidano in modo crescente a sistemi informativi distribuiti come supporto alle proprie necessità quotidiane. L'affidabilità di questi sistemi è di importanza critica. Purtroppo, gli inevitabili errori nascosti fra le pieghe di un software che diviene sempre più complesso rendono pressoché certa la probabilità di guasti. Allo stesso tempo, la centralità di questi sistemi li rende un bersaglio attraente per attacchi ostili.

Byzantine fault-tolerance (BFT) è una tecnica per costruire sistemi in grado di continuare a funzionare in modo corretto a dispetto di guasti e attacchi ostili. Un sistema BFT garantisce il proprio corretto funzionamento anche se una parte delle proprie componenti devia in modo arbitrario dal suo corretto funzionamento---persino nel caso in cui le componenti guaste colludano.

La ricerca su sistemi distribuiti "a prova di legge di Murphy" è cominciata oltre trenta anni fa, ma è stata lungamente il soggetto di studi principalmente teorici ed algoritmici.

In questo seminario, presenterò Zyzzyva, un protocollo che usa un approccio speculativo per ridurre il costo e semplificare la struttura di sistemi distribuit BFT---ed in particolare, di
sistemi basati sulla tecnica nota come state machine replication. Questo approccio permette a Zyzzyva di avvicinare i limiti inferiori teorici dei costi di BFT.

Breve CV Relatore
Lorenzo Alvisi è Professore Ordinario, Faculty Fellow, e Graduate Advisor presso il Dipartimento di Computer Sciences dell'Università del Texas ad Austin.
Dopo essersi laureato in Fisica a Bologna, il Prof. Alvisi ha conseguito un Master (1994) ed un Ph.D. in Computer Science (1996) a Cornell University. I suoi interessi scientifici sono mirati allo studio dei sistemi distribuiti, con particolare attenzione agli apetti di tolleranza ai guasti e sicurezza. Il Prof. Alvisi è stato Alfred P. Sloan Research Fellow, IBM Faculty Fellow ed ha ricevuto il CAREER Award della National Science Foundation. Attualmente serve come Associate Editor per ACM Computing Surveys, IEEE Transactions on Dependable and Secure Computing, ed ACM/Springer Distributed Computing. Da Maggio ad Agosto del 2008, il Prof. Alvisi è Visiting Professor presso il Dipartimento di Ingegneria e Scienze dell'Informazione dell'Università di Trento. http://www.cs.utexas.edu/~lorenzo

Preleva la locandina in formato PDF