Publications


Journals

Andre Nogueira, Antonio Casimiro, Alysson Bessani. Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems. IEEE Computer Society. Accepted for publication in March 2017. preprint IEEE link

Miguel Garcia, Nuno Neves, Alysson Bessani. SieveQ: A Layered BFT Protection System for Critical Services. IEEE Transactions on Dependable and Secure Computing. IEEE Computer Society. Accepted for publication in June 2016. preprint IEEE link

Alysson Bessani, Nuno F. Neves, Paulo Veríssimo, Wagner Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia. JITeR: Just-In-Time Application-Layer Routing. Computer Networks. Elsevier. Accepted for publication in May 2016. Elsevier link (A preliminar version appeared on HotDep’09).

Eduardo Adilio Pelinson Alchieri, Alysson Bessani, Fabíola Greve, Joni da Silva Fraga. Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants. IEEE Transactions on Dependable and Secure Computing. IEEE Computer Society. Accepted for publication in March 2016. preprint IEEE link (A preliminar version appeared on OPODIS’08).

Fernando Alves, Vinicius Cogo, Sebastian Wandelt, Ulf Leser, Alysson Neves Bessani. On-Demand Indexing for Referential Compression of DNA Sequences. PLOS ONE Journal. Vol 10, Num 7. June 2015. online paper

Alysson Bessani, Leucio A. Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia. The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios. ACM SIGOPS Operating Systems Review, Vol. 48 , Num. 2, pp. 13-22. ACM Press. July 2014. pdf

Paulo Esteves Veríssimo, Alysson Bessani. e-Biobanking: What have you done to my cell samples? IEEE Security & Privacy Magazine. Vol. 11, Num 6. Nov-Dec 2013. pdf

Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro. Analysis of operating system diversity for intrusion tolerance. Software: Practice and Experience. Vol. 44, Num. 6, pp. 735-770. Wiley. June 2014. pdf (A preliminar version appeared on DSN’11).

Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa. DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. ACM Transactions on Storage. Vol. 9, Num. 4. ACM. November 2013. pdf (A preliminary version appeared on EuroSys’11).

Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia. On the Performance of Byzantine Fault-Tolerant MapReduce. IEEE Transactions on Dependable and Secure Computing. Vol. 10, Num. 5, pp. 301-313. IEEE Computer Society. September/October 2013. pdf (A preliminary version appeared on IEEE CloudCom 2011).

Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung, Paulo Verissimo. Efficient Byzantine Fault Tolerance. IEEE Transactions on Computers. Vol. 62, Num. 1, pp. 16-30. IEEE Computer Society. January 2013. pdf (A supplement with correctness proofs is also available).

Alysson Bessani, Rüdiger Kapitza, Dana Petcu, Paolo Romano, Spyridon V. Gogouvitis, Dimosthenis Kyriazis, Roberto G. Cascella. A Look to the Old-world Sky: EU-funded Dependability Cloud Computing Research. ACM SIGOPS Operating Systems Review, Vol. 46 , Num. 2, pp. 43-56. ACM Press. July 2012. pdf

Luis T. A. N. Brandão, Alysson Bessani. On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions. Journal of Brazilian Computer Society. Vol. 18, Num. 1, pp. 61-80. Springer. March 2012. pdf (A preliminary version appeared on LADC’11).

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Transactions on Parallel and Distributed Systems. IEEE Computer Society. April 2010 (vol. 21, no. 4), pp. 452-465. pdf (A preliminary version appeared on IEEE PRDC'07).

Eduardo Adilio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga. A Dependable Infrastructure for Cooperative Web Services Coordination. International Journal of Web Services Research. Vol. 7, Num. 2, pp. 43-64. Idea Group Publishing. 2010. pdf (A preliminary version appeared on IEEE ICWS 2008).

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. An Efficient Byzantine-Resilient Tuple Space. IEEE Transactions on Computers. IEEE Computer Society. August 2009 (vol. 58 no. 8) pp. 1080-1094. pdf (A preliminary version appeared on NCA'07).

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. IEEE Transactions on Parallel and Distributed Systems. IEEE Computer Society. March 2009 (vol. 20 no. 3) pp. 419-43. pdf (A preliminary version appeared on ICDCS'06).

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. The Crutial Way of Critical Infrastructure Protection. IEEE Security & Privacy, IEEE Computer Society. November/December 2008. pdf.

Miguel Correia, Alysson Neves Bessani, Paulo Verissimo. On Byzantine Generals with Alternative Plans. Journal of Parallel and Distributed Computing, Vol. 68, Issue 9, pages 1291-1296, Elsevier. September 2008. DOI.


Conferences

Tiago Oliveira, Ricardo Mendes, Alysson Bessani. Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations. OPODIS’16: The 20th International Conference On Principles Of DIstributed Systems. Madrid, Spain, December 2016. pdf

Fábio Botelho, Tulio A. Ribeiro, Paulo Ferreira, Fernando M. V. Ramos, Alysson Bessani. Design and Implementation of a Consistent Datastore for a Distributed SDN Control Plane. EDCC’16: The 12th European Conference on Dependable Computing. Gothenburg, Sweden, September 2016. pdf (A preliminar version appeared on EWSDN’13).

João Sousa, Alysson Bessani. Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines. SRDS'15: The 34th International Symposium on Reliable Distributed Systems. Montreal, Quebec, Canada. September 2015. pdf

Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira. Extensible Distributed Coordination. EuroSys'15: The 10th ACM SIGOPS/EuroSys European Systems Conference. Bordeux, France. April 2015. pdf software.

Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha. Towards Secure and Dependable Authentication and Authorization Infrastructures. PRDC'14: The 20th IEEE Pacific Rim International Symposium on Dependable Computing. Singapore. December 2014. pdf .

Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo. SCFS: a Shared Cloud-backed File System. USENIX’14: USENIX Annual Technical Conference. Philadelphia, USA. June 2014. pdf.

Alysson Bessani, João Sousa, Eduardo Alchieri. State Machine Replication for the Masses with BFT-SMaRt. DSN'14: The IEEE/IFIP International Conference on Dependable Systems and Networks. Atlanta, USA. June 2014. pdf (extended version) software.

Alysson Bessani, Marcel Santos, João Felix, Nuno Neves, Miguel Correia. On the Efficiency of Durable State Machine Replication. USENIX’13: USENIX Annual Technical Conference. San Jose, CA, USA. June 2013. pdf

Vinicius Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud. DAIS'13: 13th International IFIP Conference on Distributed Applications and Interoperable Systems. Florence, Italy. June 2013. pdf

João Sousa, Alysson Bessani. From Byzantine Consensus to BFT State Machine Replication: A Latency-optimal transformation. EDCC'12: The 9th European Conference on Dependable Computing. Sibiu, Romania. May 2012. pdf

Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia. Byzantine Fault-Tolerant MapReduce: Faults are not just Crashes. CloudCom'11: The 3rd IEEE International Conference on Cloud Computing and Science. Athens, Greece. December 2011. pdf

Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro. OS Diversity for Intrusion Tolerance: Myth or Reality? DSN'11: The IEEE/IFIP International Conference on Dependable Systems and Networks. Hong Kong, China. June 2011. pdf

Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa. DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. EuroSys'11: The 6th ACM SIGOPS/EuroSys European Systems Conference. Salzburg, Austria. April 2011. pdf

Luis T. A. N. Brandão, Alysson Bessani. On the Reliability and Availability of Systems Tolerant to Stealth Intrusion. LADC'11: The 5th Latin-American Symposium on Dependable Computing. São José dos Campos, Brazil. April 2011. pdf

Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung. EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. HASE'10: The 12th IEEE International High Assurance Systems Engineering Symposium. San Jose, CA, USA. November 2010. pdf

Eduardo Alchieri, Alysson Neves Bessani, Fernando Carlos Pereira, Joni da Silva Fraga. Proactive Byzantine Quorum Systems. DOA'09: XI International Symposium on Distributed Objects and Applications. Vilamoura, Portugal. November 2009. pdf

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. SRDS'09: The 30th IEEE Symposium on Reliable Distributed Systems. Niagara Falls, USA, September 2009. pdf

Paulo Sousa, Alysson Neves Bessani, Wagner S. Dantas, Fabio Souto, Miguel Correia, Nuno F. Neves. Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection. DSN'09: International Conference on Dependable Systems and Networks. Lisbon, Portugal, July 2009. pdf

Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa. Designing Modular and Redundant Cyber Architectures for Process Control: Lessons Learned. HICSS-42: The 42nd Hawaii International Conference for the Systems Sciences. Waikoloa, Hawaii, January 2009.

Eduardo Adilio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga, Fabíola Greve. Byzantine Consensus with Unknown Participants. OPODIS'08: The 12th International Conference On Principles Of DIstributed Systems. Luxor, Egypt. December 2008. pdf

Eduardo Adilio Pelinson Alchieri, Alysson Neves Bessani, Joni da Silva Fraga. A Dependable Infrastructure for Cooperative Web Services Coordination. ICWS'08: The 6th IEEE International Conference on Web Services. Beijing, China. September 2008. pdf

Alysson Neves Bessani, Eduardo Adilio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga. DepSpace: A Byzantine Fault-Tolerant Coordination Service. EuroSys'08: The 3rd ACM SIGOPS/EuroSys European Systems Conference. Glasgow, Scotland. April 2008 (Also published in ACM SIGOPS Operating Systems Review, vol. 42 , issue 4, pages 163-176, May 2008). pdf

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. Resilient Intrusion Tolerance Through Proactive and Reactive Recovery. PRDC'07: The 13th IEEE Pacific Rim International Symposium on Dependable Computing. Melbourne, Australia. December 2007. pdf

Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia. Evaluating Byzantine Quorum Systems. SRDS'07: The 26th IEEE International Symposium on Reliable Distributed Systems. Beijing, China. October 2007. pdf

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems. NCA'07: The 6th IEEE International Symposium on Network Computing and Applications. Cambridge - MA, EUA. July 2007. pdf

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. ICDCS'06: 26th IEEE International Conference on Distributed Computing Systems. Lisbon, Portugal. July 2006. pdf

Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung. BTS: A Byzantine Fault-Tolerant Tuple Space. SAC'06: The 21st ACM Symposium on Applied Computing. Dijon, France. April 2006. pdf

Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung. Extending the UMIOP Specification for Reliable Multicast in CORBA. DOA'05: VII International Symposium on Distributed Objects and Applications. Lecture Notes in Computer Science vol. 3760. Larnaca, Cyprus. October 2005. pdf 



Daniel Borush, Lau Cheuk Lung, Alysson Neves Bessani, Joni da Silva Fraga. Integrating the ROMIOP and ETF Specifications for Atomic Multicast in CORBA. DOA'05: VII International Symposium on Distributed Objects and Applications. LNCS vol. 3760. Larnaca, Cyprus. October 2005.

Christiane Bortoleto, Lau Cheuk Lung, Frank Siqueira, Alysson Neves Bessani, Joni da Silva Fraga. A Semi-reliable Multicast Protocol for Distributed Multimedia Applications in Large Scale Networks. MMNS'05: The 8th International Conference on Management of Multimedia Networks and Services. LNCS vol. 3754. pp. 109-120. Barcelona, Spain. September 2005.

Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung, Eduardo Adilio Pelinson Alchieri. Active Replication in CORBA: Standards, Protocols and Implementation Framework. DOA'04: VI International Symposium on Distributed Objects and Applications. Lecture Notes in Computer Science vol 3291. Larnaca, Cyprus. October 2004. pdf

Alysson Neves Bessani, Lau Cheuk Lung, Joni da Silva Fraga e Alcides Calsavara. Integrating the Unreliable Multicast Inter-ORB Protocol in MJaco. DAIS'03: The 4th IFIP WG 6.1 International Conference on Distributed Applications. LNCS 2893. Paris, France. 2003.


Workshops

Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Veríssimo. A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data. WPES'15: 14th Workshop on Privacy in the Electronic Society (together with ACM CCS'15). Denver, CO, US. Oct. 2015. pdf

A. Bessani, J. Brandt, M. Bux, V. Cogo, L. Dimitrova, J. Dowling, A. Gholami, K. Hakimzadeh, M. Hummel, M. Ismail, E. Laure, U. Leser, J-E. Litton, R. Martinez, J. Reichel, S. Niazi, K. Zimmermann. BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets. DMAH'15: 1st Int. Workshop on Data Management and Analytics for Medicine and Healthcare (together with VLDB'15). Hawaii, US. Sep. 2015. pdf

Fábio Botelho, Alysson Bessani, Fernando Ramos, Paulo Ferreira. On the Design of Practical Fault-Tolerant SDN Controllers. EWSDN'14: 3rd European Workshop on Software Defined Networks. Budapest, Hungary. September 2014. pdf

Tiago Oliveira, Ricardo Mendes, Alysson Bessani. Sharing Files Using Cloud Storage Services. DIHC'14: 2nd Workshop on Dependability and Interoperability in Heterogeneous Clouds (together with Euro-Par'14). LNCS 8806. Porto, Portugal. August 2014. pdf

Fábio Botelho, Fernando Ramos, Diego Kreutz, Alysson Bessani. On the feasibility of a consistent and fault-tolerant data store for SDNs. EWSDN'13: 2nd European Workshop on Software Defined Networks. Berlin, Germany. October 2013. pdf

Alysson Bessani, Leucio A. Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia. The TClouds Platform: Concept, Architecture and Instantiations. DISCCO'13: 2nd International Workshop on Dependability Issues in Cloud Computing (together IEEE SRDS'13). Braga, Portugal. September 2013.

Miguel Garcia, Nuno Neves, Alysson Bessani. An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems. WSR'13: Workshop on Systems Resilience (together with IEEE/IFIP DSN'13). Budapest, Hungary. June 2013.

Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Bessani, Fernando Ramos, Paulo Veríssimo. On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. DISCCO'12: 1st International Workshop on Dependability Issues in Cloud Computing (together IEEE SRDS'12). Irvine, CA, USA. October 2012.

Paulo Verissimo, Alysson Bessani, Marcelo Pasin. The TClouds Architecture: Open and Resilient Cloud-of-Clouds Computing. DCDV'12: 2nd International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (together with IEEE/IFIP DSN'12). Boston, USA. June 2012.

Bernhard Kauer, Paulo Verissimo, Alysson Bessani. Recursive Virtual Machines for Advanced Security Mechanisms. DCDV'11: 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (together with IEEE/IFIP DSN'11). Hong Kong, China. June 2011. pdf

Alysson Bessani. From Byzantine Fault Tolerance to Intrusion Tolerance (a Position Paper). WRAITS'11: 5th Workshop on Recent Advances in Intrusion-Tolerant Systems (together with IEEE/IFIP DSN'11). Hong Kong, China. June 2011.

Alysson Bessani, Miguel Correia, Paulo Sousa. Active Quorum Systems. HotDep'10: Workshop on Hot Topics in System Dependability. Vancouver, Canada. October 2010. pdf (A technical report with AQS specification and correctness proofs is also available).

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. Highly-Resilient Services for Critical Infrastructures. ESCS'09: The Workshop on Embedded Systems and Communications Security (a SRDS'09 workshop). Niagara Falls, USA, September 2009.

Wagner Saback Dantas, Alysson Neves Bessani, Miguel Correia. Not Quickly, Just in Time: Improving the Timeliness and Reliability of Control Traffic in Utility Networks. HotDep'09: Workshop on Hot Topics in System Dependability. Lisbon, Portugal. June 2009. pdf

Alysson Neves Bessani, Alessandro Daidone, Ilir Gashi, Rafael R. Obelheiro, Paulo Sousa, Vladimir Stankovic. Enhancing Fault/Intrusion Tolerance through Design and Configuration Diversity. WRAITS'09: The 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (a DSN'09 workshop). Estoril, Portugal, June 2009.

Paulo Sousa, Alysson Neves Bessani, Rafael R. Obelheiro. The FOREVER Service for Fault/Intrusion Removal. WRAITS'08: The 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems (an EuroSys'08 workshop). Glasgow, UK, April 2008.

Alysson Neves Bessani, Eduardo Adílio Pelinson Alchieri, Joni da Silva Fraga, Lau Cheuk Lung. Design and Implementation of an Intrusion-Tolerant Tuple Space. WRAITS'07: The 1st Workshop on Recent Advances on Intrusion Tolerant Systems (an EuroSys'07 workshop). Lisbon, Portugal. March 2007.


Technical Reports and Project Deliverables

Eduardo Alchieri, Alysson Bessani, Fabiola Greve, Joni Fraga. Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage. Technical Report (arXiv:1607.05344). July 2016. arXiv link

João Sousa, Alysson Bessani. Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines. Department of Informatics, University of Lisbon. DI-FCUL-TR-2015-04. September 2015. pdf

Alysson Bessani, Miguel Correia. Consistency Anchor Formalization and Correctness Proofs. Department of Informatics, University of Lisbon. DI-FCUL-TR-2014-02. May 2014. pdf

Alysson Bessani, João Sousa, Eduardo Alchieri. State Machine Replication for the Masses with BFT-SMaRt. Department of Informatics, University of Lisbon. DI-FCUL-TR-2013-07. October 2013. pdf

Alysson Bessani (Ed). Adaptive Cloud-of-Clouds Architecture, Service and Protocols. TClouds project deliverable D2.2.4. October 2013. pdf

Alysson Bessani (Ed). Preliminary Specification of Services and Protocols of Middleware for Adaptive Resilience. TClouds project deliverable D2.2.2. October 2012. pdf

Alysson Neves Bessani. Active Quorum Systems: Specification and Correctness Proof. Department of Informatics, University of Lisbon. DI-FCUL-TR-10-02. July 2010. pdf

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning Primary. Department of Informatics, University of Lisbon. DI-FCUL-TR-09-16. September 2009.

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. Cheap Intrusion-Tolerant Protection for Critical Infrastructures. Department of Informatics, University of Lisbon. DI-FCUL-TR-09-13. March 2009.

GiulianaFranceschinis, EricAlata, JoãoAntunes, Hakem Beitollah, Alysson Neves Bessani, Miguel Correia, Wagner Dantas, Geert Deconinck, Mohamed Kaâniche, Nuno Neves, Vincent Nicomette, Paulo Sousa, Paulo Verissimo. Experimental Validation of Architectural Solutions. Department of Informatics, University of Lisbon. DI-FCUL-TR-09-8. March 2009.

Anas Abou ElKalan, Amine Baina, Hakem Beitollahi, Alysson Neves Bessani, Andrea Bondavalli, Miguel Correia, Alessandro Daidone, Wagner Dantas, Geert Deconinck, Yves Deswarte, Henrique Moniz, Nuno Neves, Paulo Sousa, Paulo Verissimo. Architecture, Services and Protocols for CRUTIAL. Department of Informatics, University of Lisbon. DI-FCUL-TR-09-5. March 2009.

Alysson Neves Bessani, Rafael R. Obelheiro, Paulo Sousa, Ilir Gashi. On the Effects of Diversity on Intrusion Tolerance. Department of Informatics, University of Lisbon. DI-FCUL-TR-08-30. December 2008.

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung. Minimal Byzantine Fault Tolerance. Department of Informatics, University of Lisbon. DI-FCUL-TR-08- 29. December 2008.

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. Resilient Intrusion Tolerance through Proactive and Reactive Recovery. Department of Informatics, University of Lisbon. DI-FCUL-TR-07-17. October 2007.

AlyssonNevesBessani,MiguelCorreia,JonidaSilvaFraga,LauCheukLung. DecoupledQuorum-based Byzantine-Resilient Coordination in Open Distributed Systems. Department of Informatics, University of Lisbon. DI-FCUL-TR-07-9. May 2007.

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo. Intrusion-Tolerant Protection for Critical Infrastructures. Department of Informatics, University of Lisbon. DI-FCUL-TR-07-8. April 2007. 13

Rafael R. Obelheiro, Alysson Neves Bessani, Lau Cheuk Lung, Miguel Correia. How Practical Are Intrusion-Tolerant Distributed Systems? Department of Informatics, University of Lisbon. DI-FCUL-TR-06-15. September 2006.

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. Towards a Dependable Tuple Space. Department of Informatics, University of Lisbon. DI-FCUL-TR-06-4. April 2006.

Miguel Correia, Alysson Neves Bessani, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo. Improving Byzantine Protocols with Secure Computational Components. Department of Informatics, University of Lisbon. DI-FCUL-TR-05-20. December 2005.


Short Papers

David Matos, Nuno Neves, Alysson Bessani. SITAN: Services for Ad Hoc Networks with Unknown Participants. Fast Abstract at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’14). June 2014.

Eduardo Alchieri, Alysson Bessani, Fabíola Greve, Joni Fraga. Brief Announcement: Decoupled and Consensus-Free Reconfiguration for Fault-Tolerant Storage. Brief Announcement at DISC 2012: 26th International Symposium on Distributed Computing. October 2012.

Alysson Bessani, João Sousa, Eduardo Alchieri. ... And State Machine Replication for All with BFT-SMART. Poster at ACM SIGOPS EuroSys’12. Bern, Switzerland. April 2012.

Miguel Garcia, Alysson Bessani, Nuno Neves. Diverse OS Rejuvenation for Intrusion Tolerance. Poster paper at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’11). Hong Kong, China. June 2011.

A. N. Bessani, V. V. Cogo, M. Correia, P. Costa, M. Pasin, F. Silva, L. Arantes, O. Marin, P. Sens, J. Sopena. Making Hadoop MapReduce Byzantine Fault-Tolerant. Fast Abstract at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’10). June 2010.

Francisco Vieira, Paulo Sousa, Alysson Neves Bessani. Transparent Byzantine Fault-Tolerant Directory Service using COTS components. Fast Abstract at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’09). June 2009.

François Aubri, Alysson Neves Bessani, Paulo Sousa. BFT Services Programming with a Dependable Tuple Space. Fast Abstract at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’09). June 2009.

Alysson Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Ruediger Kapitza, Alessandro Daidone, Rafael Obelheiro. FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery. Poster at ACM/USENIX Middleware’08. Leuven, Belgium. December 2008.

Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo. When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. Brief Announcement at DISC 2007: 21st International Symposium on Distributed Computing. Lemesos, Cyprus. September 2007. pdf

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno F. Neves, Paulo Verissimo. Protecting CRUTIAL Things. Fast Abstract at IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’07). June 2007.

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno F. Neves, Paulo Verissimo. A System for Protecting CRUTIAL Things. Poster at ACM SIGOPS EuroSys’07. April 2007.

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung. Brief Announcement: Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed Systems. Brief Announcement at DISC 2006: 20st International Symposium on Distributed Computing. September 2006.

Alysson Neves Bessani, Joni da Silva Fraga, Lau Cheuk Lung. Implementing the Multicast Inter-ORB Protocol. ISORC 2003: The 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 2003.


Last updated at March 27, 2017.