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

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

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

Automatic Correction of Multiple-Choice Tests using Digital Cameras and Image Processing Francisco de Assis Zampirolli and Jos´e Artur Quilici Gonzalez and Rog´erio Perino de Oliveira Neves Centro de Matem´atica, Comp

Source URL: iris.sel.eesc.usp.br

Proactive Byzantine Quorum Systems Eduardo A. P. Alchieri1 , Alysson Neves Bessani2 , Fernando Carlos Pereira1 , and Joni da Silva Fraga1 1 2

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

IEEE TRANSACTIONS ON COMPUTERS, VOL. X, NO. Y, MONTH YEAR 1 An Efficient Byzantine-Resilient Tuple Space Alysson Neves Bessani, Miguel Correia Member, IEEE, Joni da Silva Fraga Member, IEEE and Lau Cheuk Lung

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

• Computing
• Mathematics
• Concurrent computing
• Data management
• Mathematical notation
• Tuple
• Type theory
• State machine replication
• Extensible Storage Engine
• Exponentiation
• Extension

Active Replication in CORBA: Standards, Protocols and Implementation Framework? Alysson Neves Bessani1 , Joni da Silva Fraga1 , Lau Cheuk Lung2 , and Eduardo Ad´ılio Pelinson Alchieri1 1

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

A Dependable Infrastructure for Cooperative Web Services Coordination Eduardo A. P. Alchieri1 Alysson Neves Bessani2 Joni da Silva Fraga1 1 DAS, Federal University of Santa Catarina, Florian´opolis, Brazil

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