Byzantine Consensus with Unknown Participants Eduardo A. P. Alchieri1 , Alysson Neves Bessani2 , Joni da Silva Fraga1 , and Fab´ıola Greve3 1 Department of Automation and Systems Federal University of Santa Catarina (U

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

From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation Jo˜ao Sousa and Alysson Bessani University of Lisbon, Faculty of Sciences, LaSIGE Lisbon, Portugal

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

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems Alysson Neves Bessani† Miguel Correia†

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

• Computing
• Fault-tolerant computer systems
• Concurrent computing
• State machine replication
• Byzantine fault tolerance
• Tuple
• Paxos
• Consensus
• Erlang
• Linda
• Replication

OS Diversity for Intrusion Tolerance: Myth or Reality? Miguel Garcia∗ , Alysson Bessani∗ , Ilir Gashi† , Nuno Neves∗ and Rafael Obelheiro‡ ∗ LaSIGE, University of Lisbon, Faculty of Sciences – Lisbon, Portu

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

• Software
• Computing
• Cyberwarfare
• Computer network security
• Computer security
• Warez
• Zero-day
• Vulnerability database
• Vulnerability
• Common Vulnerabilities and Exposures
• NetBSD
• Solaris

Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines João Sousa and Alysson Bessani LaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal Abstract—State machine replica

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

• Computing
• Fault-tolerant computer systems
• Data synchronization
• Network protocols
• Internet protocols
• State machine replication
• Byzantine fault tolerance
• Replication
• Hypertext Transfer Protocol
• Quorum
• WAN optimization
• Latency

1 Efficient Byzantine Fault Tolerance Supplemental Material Giuliana Santos Veronese, Miguel Correia Member, IEEE, Alysson Neves Bessani, Lau Cheuk Lung and Paulo Verissimo, Fellow, IEEE

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

• Transmission Control Protocol
• IP
• XC

When 3f + 1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus? Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, and Paulo Verissimo LaSIGE, Faculdade de Ciˆencias da

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

00 D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani, University of Lisbon, Faculty of Sciences Miguel Correia, Instituto Superior T´ecnico / INESC-ID Bruno Quaresma, University of Lisbon, Fa

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

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

Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces Alysson Neves Bessani† Miguel Correia‡

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

• Computing
• Concurrent computing
• Fault-tolerant computer systems
• Distributed computing architecture
• Distributed computing
• Consensus
• Linearizability
• Tuple space
• Tuple
• Algorithm
• Linda
• Distributed object

BTS: A Byzantine Fault-Tolerant Tuple Space∗ Alysson Neves Bessani Joni da Silva Fraga Lau Cheuk Lung

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