Member

Acronym	Title	Funding Entity	Start Date	End Date
SMaRtChain	Fast and Energy-efficient Distributed Consensus for Blockchains	FCT	01/03/2023	28/02/2026
SEEDS	A holistic design of secure vehicular networks: communications, data caching and blockchain services	EU	01/03/2021	28/02/2025

PAST

Acronym	Title	Funding Entity	Start Date	End Date
VEDLIoT	Very Efficient Deep Learning IoT platform	EU H2020	01/11/2020	31/10/2023
ThreatAdapt	Adaptive Byzantine Fault and Intrusion Tolerance	FCT	01/07/2019	30/06/2023
IRCoC	Intelligent Resilience for Cloud-of-Clouds Services	FCT	01/07/2016	31/12/2019
Abyss	Autonomic Byzantine Fault-Tolerant Systems	FCT	01/07/2016	31/12/2019
DiSIEM	Diversity Enhancements for SIEMs	EU H2020	01/09/2016	31/08/2019
RSC Smart Grids	Resilient Supervision and Control in Smart Grids	FCT	01/03/2016	28/02/2018
SUPERCLOUD	User-Centric Management of Security and Dependability in Clouds of Clouds	EU H2020	01/02/2015	31/01/2018
SEGRID	Security for smart Electricity GRIDs	EU FP7	01/10/2014	31/12/2017
ParIS	Strategic partnership in Information Security	EU ERASMUS+	01/10/2014	30/09/2017
Biobank Cloud	Scalable, Secure Storage of Biobank Data	EU FP7	01/12/2012	30/11/2015
SITAN	SITAN - Services for Intrusion Tolerant Ad Hoc Networks	FCT	01/04/2011	30/09/2014
RC-Clouds	Resilient Computing in the Clouds	FCT	01/01/2011	31/12/2013
MASSIF	MASSIF - MAnagement of Security information and events in Service InFrastructures	EU FP7	01/10/2010	30/09/2013
TClouds	Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure	EU FP7	01/10/2010	30/09/2013
REGENESYS	Regeneration of Replicated Systems	FCT	01/01/2010	31/12/2012
ReD	Resilient Database Clusters	FCT	01/04/2010	31/03/2012
CloudFIT	CloudFIT - Fault and Intrusion Tolerance for Cloud Computing	FCT	01/01/2010	31/12/2011
DIVERSE	Diversity for Intrusion Tolerant Systems	FCT	01/01/2010	31/12/2011
ReSIST NoE	ReSIST - Resilience for Survability in IST (Nework of Excellence)	EU FP6	01/01/2006	31/03/2009
CRUTIAL	CRitical UTility InfrastructurAL resilience	EU FP6	01/01/2006	31/12/2008

Samaneh Shafee, Alysson Bessani, Pedro M. Ferreira. Evaluation of LLM-based chatbots for OSINT-based Cyber Threat Awareness. Expert Systems with Applications, 261, Elsevier BV, 2025 [Biblios]

Santos, Cristiano Miguel Coutinho dos, Bessani, Alysson Neves, Ferreira, Bernardo Luís da Silva. Improving Confidential BFT State Machine Replication. Master's dissertation, 2024 [Biblios]

Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinícius Cogo, Alysson Bessani. Poster: Faster Quorums with FlashConsensus. In 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2023 [Biblios]

David Hyland, João Sousa, Gauthier Voron, Alysson Bessani, Vincent Gramoli. Ten Myths About Blockchain Consensus, In Advances in Information Security, Blockchains, pages 3 - 24. Springer International Publishing, 2023 [Biblios]

Robin Vassantlal, Hasan Heydari, Alysson Bessani. On the Minimal Knowledge Required for Solving Stellar Consensus. In 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 2023 [Biblios]

Hasan Heydari, Guthemberg Silvestre, Alysson Bessani. How Hard is Asynchronous Weight Reassignment?. In 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 2023 [Biblios]

Kevin Mika, René Griessl, Nils Kucza, Florian Porrmann, Martin Kaiser, Lennart Tigges, Jens Hagemeyer, Pedro Trancoso, Muhammad Waqar Azhar, Fareed Qararyah, Stavroula Zouzoula, Jämes Ménétrey, Marcelo Pasin, Pascal Felber, Carina Marcus, Oliver Brunnegard, Olof Eriksson, Hans Salomonsson, Daniel Ödman, Andreas Ask, Antonio Casimiro, Alysson Bessani, Tiago Carvalho, Karol Gugala, Piotr Zierhoffer, Grzegorz Latosinski, Marco Tassemeier, Mario Porrmann, Hans-Martin Heyn, Eric Knauss, Yufei Mao, Franz Meierhöfer. VEDLIoT: Next generation accelerated AIoT systems and applications. In Proceedings of the 20th ACM International Conference on Computing Frontiers. ACM, 2023 [Biblios]

Rodrigues, Lívio Grifo Jorge, Bessani, Alysson Neves, Cogo, Vinicius Vielmo. Threat-adaptive Byzantine Consensus. Master's dissertation, 2023 [Biblios]

Robin Vassantlal, Eduardo Alchieri, Bernardo Ferreira, Alysson Bessani. COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services. In 2022 IEEE Symposium on Security and Privacy (SP). IEEE, 2022 [Biblios]

M. Kaiser, R. Griessl, N. Kucza, C. Haumann, L. Tigges, K. Mika, J. Hagemeyer, F. Porrmann, U. Ruckert, M. vor dem Berge, S. Krupop, M. Porrmann, M. Tassemeier, P. Trancoso, F. Qararyah, S. Zouzoula, A. Casimiro, A. Bessani, J. Cecilio, S. Andersson, O. Brunnegard, O. Eriksson, R. Weiss, F. Mcierhofer, H. Salomonsson, E. Malekzadeh, D. Odman, A. Khurshid, P. Felber, M. Pasin, V. Schiavoni, J. Menetrey, K. Gugala, P. Zierhoffer, E. Knauss, H. Heyn. VEDLIoT: Very Efficient Deep Learning in IoT. In 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 2022 [Biblios]

Vale, Tomás Joaquim Gonçalves Peixinho do, Bessani, Alysson Neves, Ramos, Fernando Manuel Valente. Securing the Internet at the Exchange Points. Master's dissertation, 2022 [Biblios]

Carvalho, Tiago Rafael Neto, Bessani, Alysson Neves, Costa, António Casimiro Ferreira da. Distributed Attestation Service for IoT. Master's dissertation, 2022 [Biblios]

Vinicius Vielmo Cogo, Alysson Bessani. Brief Announcement: Auditable Register Emulations. In 35th International Symposium on Distributed Computing (DISC 2021), pages 53:1-53:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021 [Biblios]

Ricardo Mendes, Tiago Oliveira, Vinicius Vielmo Cogo, Nuno Ferreira Neves, Alysson Neves Bessani. CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data. IEEE Transactions on Cloud Computing, 9(4):1349-1361, Institute of Electrical and Electronics Engineers (IEEE), 2021 [Biblios]

Christian Berger, Hans P. Reiser, Alysson Bessani. Making Reads in BFT State Machine Replication Fast, Linearizable, and Live. In 40th International Symposium on Reliable Distributed Systems (SRDS 2021). IEEE, 2021 [Biblios]

Vinicius Vielmo Cogo, Joao Paulo, Alysson Bessani. GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data. IEEE Transactions on Computers, 70(5):669-681, Institute of Electrical and Electronics Engineers (IEEE), 2021 [Biblios]

Wilson S. Melo, Luiz V.G. Tarelho, Bruno A. Rodrigues, Alysson N. Bessani, Luiz F.R.C. Carmo. Field surveillance of fuel dispensers using IoT-based metering and blockchains. Journal of Network and Computer Applications, 175, Elsevier BV, 2021 [Biblios]

Fernando Alves, Aurélien Bettini, Pedro M. Ferreira, Alysson Bessani. Processing tweets for cybersecurity threat awareness. Information Systems, 95, Elsevier BV, 2021 [Biblios]

Avelãs, Diogo Miguel do Carmo, Bessani, Alysson Neves. Scalable low latency consensus for blockchains. Master's dissertation, 2021 [Biblios]

Vinicius Vielmo Cogo, Alysson Neves Bessani. Efficient, Dependable Storage of Human Genome Sequencing Data. PhD thesis, 2020 [Biblios]

Fernando Alves, Ambrose Andongabo, Ilir Gashi, Pedro M. Ferreira, Alysson Bessani. Follow the Blue Bird: A Study on Threat Data Published on Twitter. In European Symposium on Research in Computer Security (ESORICS 2020), Lecture Notes in Computer Science, pages 217-236. Springer International Publishing, 2020 [Biblios]

Ricardo Macedo, João Paulo, José Pereira, Alysson Bessani. A Survey and Classification of Software-Defined Storage Systems. ACM Computing Surveys, 53(3):1-38, Association for Computing Machinery (ACM), 2020 [Biblios]

Nuno Dionisio, Fernando Alves, Pedro M. Ferreira, Alysson Bessani. Towards end-to-end Cyberthreat Detection from Twitter using Multi-Task Learning. In 2020 International Joint Conference on Neural Networks (IJCNN). IEEE, 2020 [Biblios]

Enrique Fynn, Alysson Bessani, Fernando Pedone. Smart Contracts on the Move. In 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2020 [Biblios]

Alysson Bessani, Eduardo Alchieri, Joao Sousa, Andre Oliveira, Fernando Pedone. From Byzantine Replication to Blockchain: Consensus is Only the Beginning. In 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2020 [Biblios]

Diogo Edgar Andrade Sousa, Alysson Neves Bessani. Exploring the use of blockchain in academic management systems. Master's dissertation, 2020 [Biblios]

Lourenço, Miguel Ângelo Luís, Costa, António Casimiro Ferreira da, Bessani, Alysson Neves. Data Management for Cloud Supported Cooperative Driving. Master's dissertation, 2020 [Biblios]

Christian Berger, Hans P. Reiser, Joao Sousa, Alysson Neves Bessani. AWARE: Adaptive Wide-Area Replication for Fast and Resilient Byzantine Consensus. IEEE Transactions on Dependable and Secure Computing, 1-1, Institute of Electrical and Electronics Engineers (IEEE), 2020 [Biblios]

Miguel Garcia, Alysson Bessani, Nuno Neves. Lazarus: Automatic Management of Diversity in BFT Systems. In Proceedings of the 20th International Middleware Conference. ACM, 2019 [Biblios]

Adriano Serckumecka, Iberia Medeiros, Bernardo Ferreira, Alysson Bessani. SLICER: Safe Long-Term Cloud Event Archival. In 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2019 [Biblios]

Christian Berger, Hans P Reiser, João Sousa, Alysson Bessani. Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication. In 38th IEEE International Symposium on Reliable Distributed Systems (SRDS 2019), 2019 [Biblios]

Vinicius Vielmo Cogo, Alysson Neves Bessani. Enabling the Efficient, Dependable Cloud-based Storage of Human Genomes. In 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW). IEEE, 2019 [Biblios]

Adriano Serckumecka, Iberia Medeiros, Bernardo Ferreira, Alysson Neves Bessani. A Cost-Effective Cloud Event Archival for SIEMs. In 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW). IEEE, 2019 [Biblios]

Rui Azevedo, Iberia Medeiros, Alysson Bessani. PURE: Generating Quality Threat Intelligence by Clustering and Correlating OSINT. In 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). IEEE, 2019 [Biblios]

Nuno Dionisio, Fernando Alves, Pedro M. Ferreira, Alysson Bessani. Cyberthreat Detection from Twitter using Deep Neural Networks. In 2019 International Joint Conference on Neural Networks (IJCNN). IEEE, 2019 [Biblios]

Fernando Alves, Pedro Miguel Ferreira, Alysson Bessani. Design of a Classification Model for a Twitter-Based Streaming Threat Monitor. In 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W). IEEE, 2019 [Biblios]

Wilson S. Melo, Alysson Bessani, Nuno Neves, Altair Olivo Santin, Luiz F. Rust C. Carmo. Using Blockchains to Implement Distributed Measuring Systems. IEEE Transactions on Instrumentation and Measurement, 68(5):1503-1514, Institute of Electrical and Electronics Engineers (IEEE), 2019 [Biblios]

Eduardo Viegas, Altair Santin, Alysson Bessani, Nuno Neves. BigFlow: Real-time and reliable anomaly-based intrusion detection for high-speed networks. Future Generation Computer Systems, 93, Elsevier BV, 2019 [Biblios]

Henriques, Miguel Garcia Tavares, Bessani, Alysson Neves, Neves, Nuno Fuentecilla Maia Ferreira. Diverse intrusion-tolerante systems. PhD thesis, 2019 [Biblios]

Rui Correia Neves Cordeiro de Azevedo, Medeiros, Ibéria Vitória de Sousa, Bessani, Alysson Neves. Leveraging OSINT to improve threat intelligence quality. Master's dissertation, 2019 [Biblios]

Robin Vassantlal, Bessani, Alysson Neves. Confidential BFT state machine replication. Master's dissertation, 2019 [Biblios]

Nuno Rafael Marques Dionísio, Pedro Miguel Frazão Fernandes Ferreira, Alysson Neves Bessani. Improving cyberthreat discovery in open source intelligence using deep learning techniques. Master's dissertation, 2018 [Biblios]

Pedro Marques, Zayani Dabbabi, Miruna-Mihaela Mironescu, Olivier Thonnard, Alysson Bessani, Frances Buontempo, Ilir Gashi. Detecting Malicious Web Scraping Activity: A Study with Diverse Detectors. In 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2018 [Biblios]

Rui Azevedo, Ibéria Medeiros, Alysson Bessani. Automated Solution for Enrichment and Quality IoC Creation from OSINT. In Actas do 10º Simpósio de Informática, INForum 2018, 2018 [Biblios]

Nuno Dionísio, Pedro M. Ferreira, Alysson Bessani. Aprendizagem Profunda e Ameaças de Cibersegurança em Fontes Abertas. In Proceedings do INForum 2018 - 10o Simpósio Nacional de Informática, 2018 [Biblios]

Pedro Daniel Magalhães Marques, Alysson Neves Bessani, Ilir Gashi. Assessment on the effectiveness of design diversity for network security and monitoring. Master's dissertation, 2018 [Biblios]

Paulo Coelho, Tarcisio Ceolin Junior, Alysson Bessani, Fernando Dotti, Fernando Pedone. Byzantine Fault-Tolerant Atomic Multicast. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018 [Biblios]

Joao Sousa, Alysson Bessani, Marko Vukolic. A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018 [Biblios]

Andre Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves. On the Challenges of Building a BFT SCADA. In 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 2018 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. SieveQ: A Layered BFT Protection System for Critical Services. IEEE Transactions on Dependable and Secure Computing, 15(3):511-525, Institute of Electrical and Electronics Engineers (IEEE), 2018 [Biblios]

Wilson Melo, Luiz F. R. C. Carmo, Alysson Bessani, Nuno Neves, Altair Santin. How blockchains can improve measuring instruments regulation and control. In 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). IEEE, 2018 [Biblios]

Eduardo Adilio Pelinson Alchieri, Alysson Bessani, Fabiola Greve, Joni da Silva Fraga. Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants. IEEE Transactions on Dependable and Secure Computing, 15(2):246-259, Institute of Electrical and Electronics Engineers (IEEE), 2018 [Biblios]

Carlos Carvalho, Daniel Porto, Luís Rodrigues, Manuel Bravo, Alysson Bessani. Dynamic adaptation of byzantine consensus protocols. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18. ACM Press, 2018 [Biblios]

Eduardo Alchieri, Alysson Bessani, Fabíola Greve, Joni da Silva Fraga. Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage. In 21st International Conference on Principles of Distributed Systems (OPODIS 2017), pages 26:1-26:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017 [Biblios]

Joel Alcântara, Tiago Oliveira, Alysson Bessani. Ginja: one-dollar cloud-based disaster recovery for databases. In Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference on - Middleware '17. ACM Press, 2017 [Biblios]

Eduardo Viegas, Altair Santin, Nuno Neves, Alysson Bessani, Vilmar Abreu. A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference. IEEE, 2017 [Biblios]

Eunice Picareta Branco, Ferreira, Pedro Miguel Frazão Fernandes, Bessani, Alysson Neves. Cyberthreat discovery in open source intelligence using deep learning techniques. Master's dissertation, 2017 [Biblios]

Andre Nogueira, Antonio Casimiro, Alysson Bessani. Elastic State Machine Replication. IEEE Transactions on Parallel and Distributed Systems, 28(9):2486-2499, Institute of Electrical and Electronics Engineers (IEEE), 2017 [Biblios]

Vinicius V. Cogo, Alysson Bessani, Francisco M. Couto, Margarida Gama-Carvalho, Maria Fernandes, Paulo Esteves-Verissimo. How Can Photo Sharing Inspire Sharing Genomes?. In Practical Applications of Computational Biology and Bioinformatics (PACBB), pages 74-82. Springer International Publishing, 2017 [Biblios]

Tiago Oliveira, Ricardo Mendes, Alysson Bessani. Exploring Key-Value Stores in Multi-Writer Byzantine-Resilient Register Emulations. In 20th International Conference on Principles of Distributed Systems (OPODIS 2016), pages 30:1-30:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016 [Biblios]

Alcântara, Joel Melão, Bessani, Alysson Neves. Low-cost cloud-based disaster recovery for transactional databases. Master's dissertation, 2016 [Biblios]

Correia, André Marques, Ferreira, Pedro Miguel Frazão Fernandes, Bessani, Alysson Neves. Aprendizagem automática em larga escala nas redes sociais para a descoberta de ameaças de segurança. Master's dissertation, 2016 [Biblios]

Fabio Botelho, Tulio A. Ribeiro, Paulo Ferreira, Fernando M. V. Ramos, Alysson Bessani. Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane. In 2016 12th European Dependable Computing Conference (EDCC). IEEE, 2016 [Biblios]

André Correia, Pedro M. Ferreira, Alysson Bessani. Descoberta de Ameaças de Segurança através do Twitter. In Proceedings do INForum 2016 - 8o Simpósio Nacional de Informática, 2016 [Biblios]

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, 104, Elsevier BV, 2016 [Biblios]

Fernando Alves, Vinicius Cogo, Sebastian Wandelt, Ulf Leser, Alysson Bessani. On-Demand Indexing for Referential Compression of DNA Sequences. PLOS ONE, 10(7), Public Library of Science (PLoS), 2015 [Biblios]

Bernardo Rodrigues, Alysson Neves Bessani, Sérgio Valentim Costa de Sá. Open-source Intelligence em Sistemas SIEM. Master's dissertation, 2015 [Biblios]

João Sousa, Alysson Bessani. Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines, 2015 [Biblios]

Ricardo Mendes, Tiago Oliveira, Alysson Bessani. Exclusão Mútua Tolerante a Faltas Bizantinas na Cloud. In 7th Simpósio de Informática (INFORUM), 2015 [Biblios]

Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Veríssimo. A high-throughput method to detect privacy-sensitive human genomic data. In WPES 2015 - Workshop on Privacy in the Electronic Society (together with ACM CCS’15), 2015 [Biblios]

Tobias Distler, Christopher Bahn, Alysson Bessani, Frank Fischer, Flavio Junqueira. Extensible Distributed Coordination. In EuroSys’15: The 10th ACM SIGOPS/EuroSys European Systems Conference, 2015 [Biblios]

João Sousa, Alysson Bessani. Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines. In SRDS 2015 34th Symposium on Reliable Distributed SystemsLocation: , pages 146-155, 2015 [Biblios]

Alysson Bessani, Ricardo Mendes, Tiago Oliveira. On the Consistency of Heterogeneous Composite Objects. In PaPoC’15: 2nd Workshop on Principles and Practice of Consistency for Distributed Data (together with EuroSys’15), 2015 [Biblios]

Alysson Bessani, J. Brandt, M. Bux, Vinicius 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. In DMAH’15: 1st Int. Workshop on Data Management and Analytics for Medicine and Healthcare (together with VLDB’15), 2015 [Biblios]

Miguel Correia, Alysson Bessani. Consistency Anchor Formalization and Correctness Proofs, 2014 [Biblios]

Henriques, Daniela Pedro, Vasconcelos, Vasco Thudichum, Bessani, Alysson Neves. Uma linguagem de protocolos para descrever Sistemas Distribuídos tolerantes a falhas. Master's dissertation, 2014 [Biblios]

Santos, Marcel Henrique dos, Bessani, Alysson Neves. Dependable data storage with state machine replication. Master's dissertation, 2014 [Biblios]

David Matos, Nuno Neves, Alysson Bessani. SITAN: Services for Ad Hoc Networks with Unknown Participants. In International Conference on Dependable Systems and Networks (DSN), 2014 [Biblios]

Alysson Bessani, Leucio A. Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia. The TClouds Platform: From the Concept to the Implementation of Benchmark Scenarios, 2014 [Biblios]

Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro. Analysis of operating system diversity for intrusion tolerance. SOFTWARE-PRACTICE & EXPERIENCE, 44(6):735-770, 2014 [Biblios]

Tiago Oliveira, Ricardo Mendes, Alysson Bessani. Sharing Files Using Cloud Storage Services. In DIHC'14: 2nd Workshop on Dependability and Interoperability in Heterogeneous Clouds (together with Euro-Par'14), pages 13-25, 2014 [Biblios]

Alysson Bessani, João Sousa, Eduardo Alchieri. State Machine Replication for the Masses with BFT-SMaRt. In 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 355-362, 2014 [Biblios]

Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo. SCFS: a Shared Cloud-backed File System. In USENIX Annual Technical Conference (USENIX ATC), 2014 [Biblios]

Diego Kreutz, Alysson Bessani, Eduardo Feitosa, Hugo Cunha. Towards Secure and Dependable Authentication and Authorization Infrastructures. In 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), pages 43-52, 2014 [Biblios]

Fábio Botelho, Alysson Bessani, Fernando M. V. Ramos, Paulo Ferreira. On the Design of Practical Fault-Tolerant SDN Controllers. In 3rd European Workshop on Software Defined Networks, 2014 [Biblios]

Botelho, Fábio Andrade, Bessani, Alysson Neves, Ramos, Fernando Manuel Valente. A consistent and fault-tolerant data store for software defined networks. Master's dissertation, 2013 [Biblios]

Campos, Rúben Filipe Cadima de, tBessani, Alysson Neves. Balanceador de Carga Tolerante a Faltas Bizantinas. Master's dissertation, 2013 [Biblios]

Oleksandr Malichevskyy, Bessani, Alysson Neves, Pasin, Marcelo. Resilient Authentication Service. Master's dissertation, 2013 [Biblios]

Miguel Osório Areias, Costa, António Casimiro Ferreira da, Bessani, Alysson Neves. SCADA in a Cloud-Based Architecture. Master's dissertation, 2013 [Biblios]

Vasco, Marcos André Alves, Ramos, Fernando, Bessani, Alysson Neves. Emulating network applications with a software-defined networking architecture. Master's dissertation, 2013 [Biblios]

Alves, Emanuel José Branco, Neves, Nuno Fuentecilla Maia Ferreira, Bessani, Alysson Neves. Comunicação e filiação em redes ad-hoc móveis com participantes desconhecidos. Master's dissertation, 2013 [Biblios]

Barretto, Anderson Lima Muniz, Bessani, Alysson Neves. Um Framework de Programação baseado em AJAX para tratamento de servidores web não confiáveis. Master's dissertation, 2013 [Biblios]

Alysson Bessani, João Sousa, Eduardo Alchieri. State Machine Replication for the Masses with BFT-SMaRt., 2013 [Biblios]

David Matos, Emanuel Alves, Nuno Neves, Alysson Bessani. MiCCS4Mobile: Middleware para Comunicação e Coordenação Segura em Redes Ad-hoc com Participantes Desconhecidos. In 5th Simpósio de Informática (INFORUM), 2013 [Biblios]

Vinicius Cogo, André Nogueira, João Sousa, Marcelo Pasin, Hans P. Reiser, Alysson Bessani. FITCH: Supporting Adaptive Replicated Services in the Cloud. In DAIS’13: 13th International IFIP Conference on Distributed Applications and Inoperable Systems, 2013 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. An Intrusion-Tolerant Firewall Design for Protecting SIEM Systems. In WSR’13: Workshop on Systems Resilience (together with IEEE/IFIP DSN’13), 2013 [Biblios]

Fábio Botelho, Fernando Ramos, Diego Kreutz, Alysson Bessani. On the feasibility of a consistent and fault-tolerant data store for SDNs. In EWSDN’13: 2nd European Workshop on Software Defined Networks, 2013 [Biblios]

Alysson Bessani, Marcel Santos, João Félix, Nuno Neves, Miguel Correia. On the Efficiency of Durable State Machine Replication. In SENIX Annual Technical Conference (USENIX ATC), 2013 [Biblios]

Alysson Bessani, Leucio A. Cutillo, Gianluca Ramunno, Norbert Schirmer, Paolo Smiraglia. The TClouds Platform: Concept, Architecture and Instantiations. In DISCCO’13: 2nd International Workshop on Dependability Issues in Cloud Computing (together with IEEE SRDS’13), 2013 [Biblios]

Pedro Costa, Marcelo Pasin, Alysson Bessani, Miguel Correia. On the Performance of Byzantine Fault-Tolerant MapReduce. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 10(5):301-313, 2013 [Biblios]

Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung, Paulo Verissimo. Efficient Byzantine Fault Tolerance. IEEE TRANSACTIONS ON COMPUTERS, 62(1):16-30, 2013 [Biblios]

Alysson Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa. DepSky: Dependable and Secure Storage in a Cloud-of-Clouds, ACM Transactions on Storage. ACM TRANSACTIONS ON STORAGE, 9(4), 2013 [Biblios]

Giuliana Veronese, Miguel Correia, Alysson Bessani, Lau Lung, Paulo Verissimo.. Efficient Byzantine Fault Tolerance. IEEE TRANSACTIONS ON COMPUTERS, 62(1):16-30, 2013 [Biblios]

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, 31(###):1079-1099, 2012 [Biblios]

Paulo Verissimo, Alysson Bessani, Marcelo Pasin. The TClouds architecture: Open and resilient cloud-of-clouds computing (DOI). In IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops (DSN-W), pages 1-6, 2012 [Biblios]

Alysson Bessani. Replicação na Cloud (of Clouds). In WTF 2012: XIII Workshop de Testes e Tolerância a Falhas, 2012 [Biblios]

Oleksandr Malichevskyy, Diego Kreutz, Marcelo Pasin, Alysson Bessani. O vigia dos vigias: um serviço RADIUS resiliente. In INFORUM - Simpósio de Informática, 2012 [Biblios]

Miguel Garcia, Nuno Neves, Alysson Bessani. DIVERSYS: DIVErse Rejuvenation SYStem. In INFORUM - Simpósio de Informática, 2012 [Biblios]

João Félix, Alysson Bessani, Miguel Correia. Gestão de Estado Eficiente no Serviço de Coordenação DDS. In INFORUM - Simpósio de Informática, 2012 [Biblios]

Ricardo Mendes, Tiago Oliveira, Marcelo Pasin, Alysson Bessani. C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-Clouds. In INFORUM - Simpósio de Informática, 2012 [Biblios]

Alysson Bessani, João Sousa, Eduardo Alchieri. And State Machine Replication for All with BFT-SMART. In ACM SIGOPS EuroSys'12, 2012 [Biblios]

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

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

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

Luis T. A. N. Brandão, Alysson Bessani. On the Reliability and Availability of Systems Tolerant to Stealth Intrusion. In LADC'11: The 5th Latin-American Symposium on Dependable Computing. IEEE, 2011 [Biblios]

Bernhard Kauer, Paulo Veríssimo, Alysson Bessani. Recursive Virtual Machines for Advanced Security Mechanisms. In 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11), 2011 [Biblios]

Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Cheap Intrusion-Tolerant Protection for CRUTIAL Things, 2009 [Biblios]

Paulo Veríssimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa. Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. In 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), 2009 [Biblios]

François Aubry, Alysson Bessani, Paulo Sousa. BFT Services Programming with a Dependable Tuple Space. In 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009 [Biblios]

Francisco Vieira, Paulo Sousa, Alysson Bessani. Transparent Byzantine Fault-Tolerant Directory Service using COTS components. In 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009 [Biblios]

Eduardo Alchieri, Alysson Bessani, Joni Fraga, Fernando Pereira. Proactive Byzantine Quorum Systems. In XI International Symposium on Distributed Objects and Applications (DOA'09), 2009 [Biblios]

Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. Resilient Intrusion Tolerance through Proactive and Reactive Recovery. In 13th Pacific Rim International Symposium on Dependable Computing, 2007 [Biblios]