Abstractions for Secure Distributed Computing
Decanato - Facoltà di scienze informatiche
Data d'inizio: 25 Maggio 2010
Data di fine: 26 Maggio 2010
The Faculty of Informatics is pleased to announce a seminar given by Marko Vukolic
DATE: Tuesday, May 25th 2010
PLACE: USI Università della Svizzera italiana, room A22, Red building (Via G. Buffi 13)
Progress in computer science historically comes from right abstractions. My research is focused on identifying key abstractions in the context of secure and dependable distributed computing. The goal here is to identify those abstractions that will help build better systems, yet simplify the verification of their correctness and reasoning about such systems.
In this talk I will overview my research work in this context to date and present in more details Abortable State Machine Replication, a recent abstraction that simplifies the notoriously difficult tasks of developing, testing and proving Byzantine fault-tolerant state machine replication (SMR) protocols. SMR is relevant as a software technique that can be used to make any service fault-tolerant. Moreover, the Byzantine failure model allows for the most general type of process failures and is fundamental to reasoning about secure and dependable distributed systems.
In addition, I will also briefly discuss my ongoing research efforts related to Intercloud Storage. This cloud storage abstraction orchestrates multiple cloud storage services to boost storage confidentiality, integrity, reliability and consistency, by leveraging inherent heterogeneity and failure independence among cloud providers.
Dr. Marko Vukolic is a Post-Doc in the Storage Systems group at the Storage Technologies department in IBM Research - Zurich. He obtained his Doctor of Science degree in 2008 from EPFL School of Computer and Communication Sciences. He holds a dipl. ing. degree in electrical engineering from University of Belgrade. His primary research interests include distributed systems/algorithms and security.
HOST: Prof. Mauro Pezzè