Resilient Intrusion Tolerance through Proactive and Reactive Recovery∗ Paulo Sousa Alysson Neves Bessani Miguel Correia Nuno Ferreira Neves Paulo Verissimo

Source URL: www.di.fc.ul.pt

• Data synchronization
• Fault-tolerant computer systems
• State machine replication
• Replication
• Fault tolerance
• Wormhole
• Replica
• Recovery approach

Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks Wagner Saback Dantas, Alysson Neves Bessani, Miguel Correia Universidade de Lisboa, Faculdade de Ciˆencias, LaSI

Source URL: www.di.fc.ul.pt

1 Efficient Byzantine Fault Tolerance Giuliana Santos Veronese, Miguel Correia Member, IEEE, Alysson Neves Bessani, Lau Cheuk Lung and Paulo Verissimo, Fellow, IEEE Abstract—We present two asynchronous Byzantine fault

Source URL: www.di.fc.ul.pt

• Computing
• Fault-tolerant computer systems
• Internet protocols
• Data synchronization
• Internet Standards
• State machine replication
• Hypertext Transfer Protocol
• Replication
• Distributed computing
• Domain Name System

State Machine Replication for the Masses with BFT-SM A RT Alysson Bessani, João Sousa Eduardo E. P. Alchieri Faculdade de Ciências, Universidade de Lisboa, Portugal

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Computing
• State machine replication
• Byzantine fault tolerance
• Replication
• Consensus
• Paxos
• Fault tolerance
• Hypertext Transfer Protocol

Sharing Files Using Cloud Storage Services Tiago Oliveira, Ricardo Mendes, and Alysson Bessani {toliveira,rmendes}@lasige.di.fc.ul.pt, Universidade de Lisboa, Faculdade de Ciˆencias, LaSIGE – Portu

Source URL: www.di.fc.ul.pt

Towards Secure and Dependable Authentication and Authorization Infrastructures Diego Kreutz, Alysson Bessani Faculdade de Ciências, Universidade de Lisboa, Portugal , Abstra

Source URL: www.di.fc.ul.pt

D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani Miguel Correia Bruno Quaresma

Source URL: www.di.fc.ul.pt

• Computing
• Cloud storage
• Network file systems
• Data management
• Object storage
• Data
• Cloud computing
• Computer data storage
• Clustered file system
• Nirvanix
• Amazon S3
• File system

1 On the Design of Practical Fault-Tolerant SDN Controllers Fábio Botelho∗† , Alysson Bessani∗‡ , Fernando M. V. Ramos∗‡ and Paulo Ferreira∗† ∗ FCUL/LaSIGE, University of Lisbon – Portugal

Source URL: www.di.fc.ul.pt

A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data Vinicius V. Cogo1 , Alysson Bessani1 , Francisco M. Couto1 , and Paulo Verissimo2 1 LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portuga

Source URL: www.di.fc.ul.pt

• Molecular biology
• Genomics
• DNA
• Biotechnology
• Genetics
• Human genome
• Microsatellite
• DNA sequencing
• Single-nucleotide polymorphism
• Bioinformatics
• DNA database
• Functional genomics

FITCH: Supporting Adaptive Replicated Services in the Cloud Vinicius V. Cogo1 , Andr´e Nogueira1, Jo˜ao Sousa1 , Marcelo Pasin2 , Hans P. Reiser3 , and Alysson Bessani1 1

Source URL: www.di.fc.ul.pt