Semantic search
From Navigators
Publications
- Alysson Bessani, João Sousa, Eduardo Alchieri, “State Machine Replication for the Masses with BFT-SMART”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2013-07, Nov. 2013. http://hdl.handle.net/10451/14170
- João Sousa, Alysson Bessani, “Evaluating State Machine Replication Over a WAN”, in Workshop on Planetary-Scale Distributed Systems (W-PSDS 2013), Braga, Portugal, Sept. 2013.
- Alysson Bessani, Marcel Santos, João Félix, Nuno Ferreira Neves, Miguel Correia, “On the Efficiency of Durable State Machine Replication”, in Proceedings of the 2013 USENIX Annual Technical Conference, Jun. 2013, pp. 169–180.
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “An intrusion-tolerant firewall design for protecting SIEM systems”, in Workshop on Systems Resilience in conjunction with the Conference on Dependable Systems and Networks, Jun. 2013.
- Vinicius Vielmo Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani, “FITCH: Supporting Adaptive Replicated Services in the Cloud”, in Proceedings of the 13th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'13), Jim Dowling, Francois Taïani, Eds., Florence, Italy, Jun. 2013, pp. 15–28.
- Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, Paulo Verissimo, “Efficient Byzantine Fault-Tolerance”, IEEE Transactions on Computers, vol. 62, no. 1, pp. 16–30, Jan. 2013.
- Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia, “On the Performance of Byzantine Fault-Tolerant MapReduce”, IEEE Transactions on Dependable and Secure Computing, 2013.
- Fabio Botelho, Fernando Ramos, Diego Kreutz, Alysson Bessani, “On the feasibility of a consistent and fault-tolerant data store for SDNs”, in Proceedings of the 2nd European Workshop on Software Defined Networks (EWSDN), 2013.
- Ricardo Mendes, Tiago Oliveira, Marcelo Pasin, Alysson Bessani, “C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-Clouds”, in INFORUM 2012 - Simpósio de Informática, Almada, Portugal, Sept. 2012.
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “DIVERSYS: DIVErse Rejuvenation SYStem”, in NFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.
- Paulo Verissimo, Alysson Bessani, Marcelo Pasin, “The TClouds Architecture:Open and Resilient Cloud-of-clouds Computing”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Jun. 2012.
- João Sousa, Alysson Bessani, “From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation”, in Ninth European Dependable Computing Conference (EDCC 2012), Sibiu, Romenia, May 2012, pp. 12.
- Alysson Bessani, “(BFT) State Machine Replication: The Hype, The Virtue... and even some Practice”, Apr. 2012.
- Alysson Bessani, João Sousa, Eduardo Alchieri, “... And StateMachine Replication for All with BFT-SMaRt”, Apr. 2012.
- Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Replicated and Rejuvenating Systems Under Stealth Attacks and Intrusions”, Journal of the Brazilian Computer Society, vol. 18, pp. 61–80, Mar. 2012.
- Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Bessani, Fernando Ramos, Paulo Verissimo, “On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Cloud”, in First International Workshop on Dependability Issues in Cloud Computing (DISCCO 2012), San Francisco, California, 2012.
- Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, “Vers une plate-forme MapReduce tolérant les fautes byzantines”, Technique et Science Informatiques, 2012.
- João Sousa, Bruno Branco e Brito, Alysson Bessani, Marcelo Pasin, “Desempenho e Escalabilidade de uma Biblioteca de Replicação de Máquina de Estados Tolerante a Faltas Bizantinas”, in 3th Simpósio de Informática (INFORUM), Coimbra, Portugal, Sept. 2011.
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “OS Diversity for Intrusion Tolerance: Myth or Reality?”, in Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011., Jun. 2011.
- Bernhard kauer, Paulo Verissimo, Alysson Bessani, “Recursive Virtual Machines for Advanced Security Mechanisms”, in Proceedings of the 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11). DSN'11 supplemental volume., Jun. 2011.
- Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Diverse OS Rejuvenation for Intrusion Tolerance”, in Poster in Supplement of the IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2011.
- Luciana Arantes, Jonathan Lejeune, Madeleine Piffaretti, Olivier Marin, Pierre Sens, Julien Sopena, Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, “Étude d'une architecture MapReduce tolérant les fautes byzantines”, in the 20éme Rencontres francophones du parallélisme (RENPAR'11), Saint Malo, FR, May 2011.
- Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa, “DepSky: Dependable and Secure Storage in a Cloud-of-Clouds”, in Proceedings of the 6th ACM SIGOPS/EuroSys European Systems Conference - EuroSys'11. Salzburg, Austria. April 2011., Apr. 2011.
- Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Systems Tolerant to Stealth Intrusion”, in Proceedings of the 5th Latin-American Symposium on Dependable Computing - LADC'11. São José dos Campos, Brazil. April 2011., Apr. 2011.
- Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia, “Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes”, in Proceedings of the 3rd IEEE International Conference on Cloud Computing and Science - CloudCom’11, Athens, Greece, 2011.
- Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “EBAWA: Efficient Byzantine Agreement for Wide-Area Networks”, in Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium - HASE'10. San Jose, CA, USA. November 2010., Oct. 2010.
- Alysson Bessani, Miguel Correia, Paulo Sousa, “Active Quorum Systems”, in Proceedings of the 6th Workshop on Hot Topics in System Dependability - HotDep'10 (together with USENIX OSDI'10). Vancouver, Canada. October 2010., Oct. 2010.
- Bruno Quaresma, Alysson Bessani, Paulo Sousa, “Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sep. 2010., Sept. 2010.
- João Sousa, Alysson Bessani, Paulo Sousa, “Typhon: Um Serviço de Autenticação e Autorização Tolerante a Intrusões”, in 2th Simpósio de Informática (INFORUM), Sept. 2010.
- Alysson Bessani, “Active Quorum Systems: Specification and Correctness Proof”, Missing institution, Tech. Rep., Jul. 2010. DI-FCUL-TR 2010-02
- Alysson Bessani, Vinicius Vielmo Cogo, Miguel Correia, Pedro Costa, Marcelo Pasin, Fabricio Silva, Luciana Arantes, Olivier Marin, Pierre Sens, Julien Sopena, “Making Hadoop MapReduce Byzantine Fault-Tolerant”, Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.
- Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery”, IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 4, pp. 452-465, Apr. 2010., Apr. 2010.
- Eduardo Alchieri, Alysson Bessani, Joni Fraga, “A Dependable Infrastructure for Cooperative Web Services Coordination”, International Journal of Web Services Research. Vol. 7, Num. 2, pp. 43-64. April 2010., Apr. 2010.
- Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fernando Pereira, “Proactive Byzantine Quorum Systems”, in Proceedings of the XI International Symposium on Distributed Objects and Applications (DOA'09). LNCS XXXX. Vilamoura, Portugal., Nov. 2009.
- Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “Highly-Resilient Services for Critical Infrastructures”, in Proceedings of the Workshop on Embedded Systems and Communications Security (ESCS). September 2009., Oct. 2009.
- Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning Primary”, in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS'09). Niagara Falls, USA., Sept. 2009.
- Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Cheap Intrusion-Tolerant Protection for CRUTIAL Things”, Missing institution, Tech. Rep., Aug. 2009. DI-FCUL TR-2009-14
- Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “An Efficient Byzantine-Resilient Tuple Space”, IEEE Transactions on Computers. Vol. 58 no. 8. pp. 1080-1094. IEEE Computer Society. August 2009., Aug. 2009.
- François Aubry, Alysson Bessani, Paulo Sousa, “BFT Services Programming with a Dependable Tuple Space”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009., Jun. 2009.
- Alysson Bessani, Alessandro Daidone, Ilir Gashi, Rafael R. Obelheiro, Paulo Sousa, Vladimir Stankovic, “Enhancing Fault / Intrusion Tolerance through Design and Configuration Diversity”, in Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), Estoril, Portugal, June 2009., Jun. 2009.
- Paulo Sousa, Alysson Bessani, Wagner Saback Dantas, Fábio Souto, Miguel Correia, Nuno Ferreira Neves, “Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, pp. 217-222, Jun-Jul 2009., Jun. 2009.
- Wagner Saback Dantas, Alysson Bessani, Miguel Correia, “Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks”, in Proceedings of the DSN 2009 5th Workshop on Hot Topics in System Dependability (HotDep 2009), Estoril, Portugal. June 2009., Jun. 2009.
- Francisco Vieira, Paulo Sousa, Alysson Bessani, “Transparent Byzantine Fault-Tolerant Directory Service using COTS components”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009., Jun. 2009.
- Alysson Bessani, Miguel Correia, Joni Fraga, Lau Cheuk Lung, “Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces”, IEEE Transactions on Parallel and Distributed Systems. Vol. 20 no. 3. pp. 419-43. IEEE Computer Society. March 2009., Mar. 2009.
- Paulo Verissimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned”, in Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), Waikoloa, Hawaii, January 2009., Jan. 2009.
- Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fabíola Greve, “Byzantine Consensus with Unknown Participants”, in Proceedings of the 12th International Conference On Principles Of DIstributed Systems (OPODIS'08). LNCS 5401. Luxor, Egypt., Dec. 2008.
- Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “The CRUTIAL Way of Critical Infrastructure Protection”, IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008., Dec. 2008.
- Alysson Bessani, Hans P. Reiser, Paulo Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, Rafael R. Obelheiro, “FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery”, in In Middleware (Companion), Leuven, Belgium, pages 99-101, December 2008., Dec. 2008.
- Eduardo Alchieri, Alysson Bessani, Joni Fraga, “A Dependable Infrastructure for Cooperative Web Services Coordination”, in Proceedings of the 6th IEEE International Conference on Web Services - ICWS 2008, Beijing, China. September 2008., Sept. 2008.
- Miguel Correia, Alysson Bessani, Paulo Verissimo, “On Byzantine Generals with Alternative Plans”, Journal of Parallel and Distributed Computing, Vol. 68, Issue 9, pages 1291-1296, Elsevier., Sept. 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.
- 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, 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.