Semantic search
From Navigators
Publications
- Alysson Bessani, Eduardo Alchieri, Miguel Correia, Joni Fraga, “DepSpace: A Byzantine Fault-Tolerant Coordination Service”, in Proceedings of the 3rd ACM/SIGOPS/EuroSys European Systems Conference - EuroSys 2008. Glasgow, Scotland, April 2008., Apr. 2008.
- Paulo Sousa, Alysson Bessani, Rafael R. Obelheiro, “The FOREVER Service for Fault/Intrusion Removal”, in Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2008). Glasgow, UK, April 2008., Apr. 2008.
- Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Resilient Intrusion Tolerance through Proactive and Reactive Recovery”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Melbourne, Australia, pages 373-380, December 2007., Dec. 2007.
- Wagner Saback Dantas, Alysson Bessani, Joni Fraga, Miguel Correia, “Evaluating Byzantine Quorum Systems”, in In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS). October 2007., Oct. 2007.
- Alysson Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo, “When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus”, in Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Sept. 2007.
- Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems”, in In Proceedings of the 6th IEEE International Symposium on Network Computing and Applications (NCA), pages 231-238, July 2007., Jul. 2007.
- Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Intrusion-Tolerant Protection for Critical Infrastructures”, Missing institution, Tech. Rep., Apr. 2007. Technical Report DI/FCUL TR-07-8. Department of Computer Science, University of Lisboa. April 2007.
- Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces”, in In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS), July 2006., Jul. 2006.