???global.info.a_carregar???
Alysson Bessani is an Associate Professor of the University of Lisbon Faculty of Sciences, Portugal, and the current director of the LASIGE research unit. He received his Ph.D. in Electrical Engineering from UFSC (Brazil) in 2006, was a visiting professor at Carnegie Mellon University (2010), and a visiting researcher at Microsoft Research Cambridge (2014). Alysson coordinated/collaborated on ten international projects and co-authored more than 100 peer-reviewed publications on dependability, security, Byzantine fault tolerance, blockchains, and cloud storage. He is also the principal researcher behind the BFT-SMaRt consensus library (http://bft-smart.github.io/library/) and a co-founder of the Vawlt dependable & secure cloud storage startup (https://vawlt.io). More information about him can be found at http://www.di.fc.ul.pt/~bessani.
Read full resume ↓
Identification

Personal identification

Full name
Alysson Neves Bessani

Citation names

  • Bessani, Alysson
  • Bessani, Alysson Neves

Author identifiers

Ciência ID
E617-5D1E-0EEB
ORCID iD
0000-0002-8386-1628
Google Scholar ID
-mFXT_oAAAAJ

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Education
Degree Classification
2024/01/26
Concluded
 Informática (Título de Agregado)
Major in Sistemas Distribuídos
Universidade de Lisboa Faculdade de Ciências, Portugal
2006
Concluded
 Doutorado em Engenharia Elétrica (Doctor)
Universidade Federal de Santa Catarina, Brazil
"Coordenação Desacoplada Tolerante a Faltas Bizantinas" (THESIS/DISSERTATION)
 A on all courses taken and Approved with Distincti
2002
Concluded
 Mestrado em Engenharia Elétrica (Master)
Universidade Federal de Santa Catarina, Brazil
"O Padrão UMIOP como Base para Comunicação de Grupo Confiável em Sistemas Distribuídos de Larga Escala" (THESIS/DISSERTATION)
 A on all courses taken and Approved with Distincti
2001
Concluded
 Bacharelado em Ciência da Computação (Bachelor)
Universidade Estadual de Maringá, Brazil
"Análise Comparativa entre Arquiteturas de Conectividade de Sistemas Distribuídos: CORBA e Jini" (THESIS/DISSERTATION)
 8,7/10
Affiliation

Science

Category
Host institution 		Employer
2014/04 - 2014/07 Visiting Researcher (Research) Microsoft Research Ltd, United Kingdom
Microsoft Research Ltd, United Kingdom
2006/07 - 2007/08 Postdoc (Research) Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2015/11/01 - Current Associate Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2012/09/01 - 2015/10/31 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2007/09/01 - 2012/08/31 Invited Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
2010/01 - 2010/05 Visiting Professor (University Teacher) Carnegie Mellon University College of Engineering, United States
Carnegie Mellon University College of Engineering, United States

Positions / Appointments

Category
Host institution 		Employer
2022/01 - Current Manager of Laboratory, Institute, Museum, Centre or Observatory Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Universidade de Lisboa Faculdade de Ciências, Portugal

Others

Category
Host institution 		Employer
2018/03 - Current Co-founder and Member of the Supervisory Board of Startup Vawlt Technologies S/A, Portugal
Projects

Contract

Designation Funders
2023/03/01 - 2026/02/28 SMaRtChain - Fast and Energy-efficient Distributed Consensus for Blockchains
2022.08431.PTDC
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Ongoing
2020/11/01 - 2024/01/31 VEDLIoT: Very Efficient Deep Learning in IOT
H2020 957197
Researcher
FCiênciasID Associação para a Investigação e Desenvolvimento de Ciências, Portugal
 Horizon 2020
Concluded
2019/07/01 - 2022/06/30 ThreatAdapt - Tolerância a Faltas e Intrusões Adaptativa
FCT-FNR/0002/2018
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Université du Luxembourg, Luxembourg
Fundação para a Ciência e a Tecnologia
Concluded
2016/07/01 - 2019/12/31 IRCoC - Intelligent Resilience for Cloud-of-Clouds Services
grant.Provided by PTCRIS: 145614
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2016/07/01 - 2019/12/31 Abyss: Sistemas Autonómicos Tolerantes a Falhas Maliciosas
PTDC/EEI-SCR/1741/2014
Researcher
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2016/09/01 - 2019/08/31 DiSIEM - Diversity-enhancements for Security Information and Event Management
H2020 DS-04-2015, DS 700692
Principal investigator
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2015/02/01 - 2018/01/31 SUPERCLOUD - User-centric Management of Security and Dependability in Clouds of Clouds
H2020 ICT-07-2014, ICT 643964
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2014/10/01 - 2017/09/30 SEGRID - Security for smart Electricity GRIDs
FP7-2007-2013, ICT 607109
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2012/11/01 - 2015/10/31 BiobankCloud - Scalable, Secure Storage of Biobank Data
FP7-2007-2013, ICT 317871
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2011/04 - 2014/09 SITAN - Services for Intrusion Tolerant Ad Hoc Networks
grant.Provided by PTCRIS: 113729
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2011/01 - 2013/12 Resilient Computing in the Clouds - RC-Clouds
grant.Provided by PTCRIS: 115211
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010/09/01 - 2013/11/30 TClouds - Trustworthy Clouds
FP7-2007-2013, ICT 257243
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2010/09/01 - 2013/08/31 MASSIF - MAnagement of Security information and events in Service Infrastructures
FP7-2007-20013, ICT 257475
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Concluded
2010/01 - 2012/12 Diverse - Diversity for Intrusion Tolerant Systems
grant.Provided by PTCRIS: 100894
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010/01 - 2012/12 REGENESYS - Regeneration of Replicated Systems
grant.Provided by PTCRIS: 100581
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2010/01 - 2012/10 CloudFIT: Fault and Intrusion Tolerance for Cloud Computing
grant.Provided by PTCRIS: 108299
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/04 - 2012/09 ReD: Resilient Database Clusters
grant.Provided by PTCRIS: 109044
Researcher
Fundação para a Ciência e a Tecnologia
Concluded
2006/01/01 - 2008/12/31 CRUTIAL - CRitical UTility InfrastructurAL Resilience
FP6-2004-IST-4-027513
Researcher
Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
 European Commission
Outputs

Publications

Book chapter
  1. Cogo, V.V.; Bessani, A.; Couto, F.M.; Gama-Carvalho, M.; Fernandes, M.; Esteves-Verissimo, P.. "How can photo sharing inspire sharing genomes?". In Advances in Intelligent Systems and Computing. Springer International Publishing, 2018.
    Published • 10.1007/978-3-319-60816-7_10
  2. Bessani, A.; Brandt, J.; Bux, M.; Cogo, V.; Dimitrova, L.; Dowling, J.; Gholami, A.; et al. "BiobankCloud: A platform for the secure storage, sharing, and processing of large biomedical data sets". In Lecture Notes in Computer Science. 2016.
    Published • 10.1007/978-3-319-41576-5_7
  3. Oliveira, T.; Mendes, R.; Bessani, A.. "Sharing files using cloud storage services". In Lecture Notes in Computer Science. 2014.
    Published
  4. Cogo, V.V.; Nogueira, A.; Sousa, J.; Pasin, M.; Reiser, H.P.; Bessani, A.. "FITCH: Supporting adaptive replicated services in the cloud". In Lecture Notes in Computer Science (Proceedings of DAIS'13). 2013.
    Published • 10.1007/978-3-642-38541-4_2
  5. Alchieri, E.; Bessani, A.; Greve, F.; Fraga, J.. "Brief announcement: Decoupled and consensus-free reconfiguration for fault-tolerant storage". In Lecture Notes in Computer Science. 2012.
    Published • 10.1007/978-3-642-33651-5_49
  6. Alchieri, E.A.P.; Bessani, A.N.; Pereira, F.C.; Fraga, J.D.S.. "Proactive Byzantine Quorum Systems". In Lecture Notes in Computer Science (Proceedings of DOA'09). 2009.
    Published • 10.1007/978-3-642-05148-7_50
  7. Alchieri, E.A.P.; Bessani, A.N.; Da Silva Fraga, J.; Greve, F.. "Byzantine consensus with unknown participants". In Lecture Notes in Computer Science (Proceedings of OPODIS'08). 2008.
    Published • 10.1007/978-3-540-92221-6_4
  8. Bessani, A.N.; Correia, M.; Moniz, H.; Neves, N.F.; Verissimo, P.. "When 3f + 1 is not enough: Tradeoffs for decentralized asynchronous byzantine consensus". In Lecture Notes in Computer Science. 2007.
    Published
  9. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lau, C.L.. "Brief announcement: Decoupled quorum-based byzantine-resilient coordination in open distributed systems". In Lecture Notes in Computer Science. 2006.
    Published
  10. Bortoleto, C.M.; Lung, L.C.; Siqueira, F.A.; Bessani, A.N.; Fraga, J.D.S.. "A Semi-reliable multicast protocol for distributed multimedia applications in large scale networks". In Lecture Notes in Computer Science. 2005.
    Published • 10.1007/11572831_10
  11. Bessani, A.N.; Da Silva Fraga, J.; Lung, L.C.. "Extending the UMIOP specification for reliable multicast in CORBA". In Lecture Notes in Computer Science. 2005.
    Published • 10.1007/11575771_42
  12. Borusch, D.; Lung, L.C.; Bessani, A.N.; Da Silva Fraga, J.. "Integrating the ROMIOP and ETF specifications for atomic multicast in CORBA". In Lecture Notes in Computer Science. 2005.
    Published • 10.1007/11575771_43
  13. Bessani, A.N.; Praga, J.D.S.; Lung, L.C.; Alchieri, E.A.P.. "Active Replication in CORBA: Standards, Protocols, and Implementation Framework". In Lecture Notes in Computer Science. 2004.
    Published
  14. Bessani, A.N.; Lung, L.C.; Da Silva Fraga, J.; Calsavara, A.. "Integrating the unreliable multicast inter-ORB protocol in MJACO". In Lecture Notes in Computer Science. 2003.
    Published
Conference paper
  1. Hasan Heydari; Guthemberg Silvestre; Alysson Bessani. "How Hard is Asynchronous Weight Reassignment?". Paper presented in The 43rd IEEE International Conference on Distributed Computing Systems (ICDCS'23), 2023.
    Published • 10.1109/icdcs57875.2023.00038
  2. Robin Vassantlal; Hasan Heydari; Alysson Bessani. "On the Minimal Knowledge Required for Solving Stellar Consensus". Paper presented in The 43rd IEEE International Conference on Distributed Computing Systems (ICDCS'23), 2023.
    Published • 10.1109/icdcs57875.2023.00016
  3. Kaiser, M.; Griessl, R.; Kucza, N.; Haumann, C.; Tigges, L.; Mika, K.; Hagemeyer, J.; et al. "VEDLIoT: Very Efficient Deep Learning in IoT". 2023.
    10.23919/date54114.2022.9774653
  4. Vassantlal, Robin; Alchieri, Eduardo; Bernardo Ferreira; Bessani, Alysson. "COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services". Paper presented in The 43rd IEEE Symp. on Security and Privacy (S&P'22), São Francisco, CA, 2022.
    Published • 10.1109/SP46214.2022.00099
  5. Berger, Christian; Reiser, Hans P.; Bessani, Alysson. "Making Reads in BFT State Machine Replication Fast, Linearizable, and Live". 2021.
    Published • 10.1109/srds53918.2021.00010
  6. Cogo, Vinicius Vielmo; Bessani, Alysson. Corresponding author: Cogo, Vinicius Vielmo. "Brief Announcement: Auditable Register Emulations". Paper presented in 35th International Symposium on Distributed Computing (DISC 2021), 2021.
    Published • 10.4230/LIPIcs.DISC.2021.53
  7. Alves, Fernando; Andongabo, Ambrose; Gashi, Ilir; Ferreira, Pedro M.; Bessani, Alysson. "Follow the Blue Bird: A Study on Threat Data Published on Twitter". Paper presented in 25th European Symposium on Research in Computer Security - ESORICS’20, 2020.
    Published • 10.1007/978-3-030-58951-6_11
  8. Bessani, Alysson; Alchieri, Eduardo; Sousa, Joao; Oliveira, Andre; Pedone, Fernando. "From Byzantine Replication to Blockchain: Consensus is Only the Beginning". Paper presented in 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'20), 2020.
    10.1109/dsn48063.2020.00057
  9. Fyn, Enrique; Pedone, Fernando; Bessani, Alysson. "Smart Contracts on the Move". Paper presented in 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'20), 2020.
    Accepted
  10. Dionisio, Nuno; Alves, Fernando; Pedro M. Ferreira; Bessani, Alysson. "Towards end-to-end Cyberthreat Detection from Twitter using Multi-Task Learning". Paper presented in 2020 International Joint Conference on Neural Networks (IJCNN'20), Glasgow, 2020.
    Accepted
  11. Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "Lazarus: Automatic Management of Diversity in BFT Systems". Paper presented in 20th ACM/IFIP International Middleware Conference, Davis, CA, 2019.
    Published • 10.1145/3361525.3361550
  12. Serckumecka, Adriano; Medeiros, Iberia; Ferreira, Bernardo; Bessani, Alysson. "SLICER: Safe Long-Term Cloud Event Archival". Paper presented in IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19), 2019.
    Published • 10.1109/prdc47002.2019.00021
  13. Serckumecka, Adriano; Medeiros, Iberia; Ferreira, Bernardo; Bessani, Alysson; Bernardo Ferreira. "A Cost-Effective Cloud Event Archival for SIEMs". Paper presented in 2019 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW), 2019.
    Published • 10.1109/srdsw49218.2019.00013
  14. Berger, Christian; Reiser, Hans P.; Sousa, João; Bessani, Alysson. "Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication". Paper presented in 38th IEEE International Symposium on Reliable Distributed Systems (SRDS'19), Lyon, 2019.
    Published
  15. Cogo, Vinicius; Bessani, Alysson. "Enabling the Efficient, Dependable Cloud-Based Storage of Human Genomes". Paper presented in 38th International Symposium on Reliable Distributed Systems Workshops (SRDSW), 2019.
    Published • 10.1109/srdsw49218.2019.00011
  16. Azevedo, Rui; Medeiros, Iberia; Bessani, Alysson. "PURE: Generating Quality Threat Intelligence by Clustering and Correlating OSINT". Paper presented in 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (TrustCom'19), 2019.
    Published • 10.1109/trustcom/bigdatase.2019.00071
  17. Dionisio, Nuno; Alves, Fernando; Ferreira, Pedro M.; Bessani, Alysson. "Cyberthreat Detection from Twitter using Deep Neural Networks". Paper presented in 2019 International Joint Conference on Neural Networks (IJCNN'19), 2019.
    Published • 10.1109/ijcnn.2019.8852475
  18. Alves, Fernando; Ferreira, Pedro Miguel; Bessani, Alysson. "Design of a Classification Model for a Twitter-Based Streaming Threat Monitor". Portland, 2019.
    Published • 10.1109/dsn-w.2019.00010
  19. Marques, Pedro; Dabbabi, Zayani; Mironescu, Miruna-Mihaela; Thonnard, Olivier; Bessani, Alysson; Buontempo, Frances; Gashi, Ilir. "Detecting Malicious Web Scraping Activity: A Study with Diverse Detectors". Paper presented in 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'18), 2018.
    Published • 10.1109/prdc.2018.00049
  20. Marques, P.; Dabbabi, Z.; Mironescu, M.-M.; Thonnard, O.; Bessani, A.; Buontempo, F.; Gashi, I.. "Using Diverse Detectors for Detecting Malicious Web Scraping Activity". Paper presented in Fast Abstracts Track of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Published • 10.1109/DSN-W.2018.00033
  21. Melo, W.; Carmo, L.F.R.C.; Bessani, A.; Neves, N.; Santin, A.. "How blockchains can improve measuring instruments regulation and control". Paper presented in 2018 IEEE International Instrumentation and Measurement Technology Conference (I2MTC'18), 2018.
    Published • 10.1109/I2MTC.2018.8409724
  22. Carvalho, C.; Porto, D.; Rodrigues, L.; Bravo, M.; Bessani, A.. "Dynamic adaptation of Byzantine consensus protocols". Paper presented in 2018 ACM Symposium on Applied Computing (SAC-DADS'18), 2018.
    Published • 10.1145/3167132.3167179
  23. Nogueira, A.; Garcia, M.; Bessani, A.; Neves, N.. "On the challenges of building a BFT SCADA". Paper presented in 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Published • 10.1109/DSN.2018.00028
  24. Coelho, P.; Junior, T.C.; Bessani, A.; Dotti, F.; Pedone, F.. "Byzantine Fault-Tolerant atomic multicast". Paper presented in 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Published • 10.1109/DSN.2018.00017
  25. Sousa, Joao; Bessani, Alysson; Vukolic, Marko. "A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform". Paper presented in 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'18), 2018.
    Published • 10.1109/dsn.2018.00018
  26. Bessani, A.; Sousa, J.; Vukolic, M.. "A byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform (Short Paper)". Paper presented in SERIAL'17 Workshop (together with ACM/IFIP/USENIX Middleware'17), 2017.
    Published • 10.1145/3152824.3152830
  27. Alcantara, J.; Oliveira, T.; Bessani, A.. "GINJA: One-dollar cloud-based disaster recovery for databases". Paper presented in The ACM/IFIP/USENIX International Middleware Conference (MIddleware'17), 2017.
    Published • 10.1145/3135974.3135985
  28. Alchieri, E.; Bessani, A.; Greve, F.; Da Silva Fraga, J.. "Efficient and modular consensus-free reconfiguration for fault-tolerant storage". Paper presented in 21st International Conference On Principles Of DIstributed Systems (OPODIS'17), 2017.
    Published • 10.4230/LIPIcs.OPODIS.2017.26
  29. Viegas, E.; Santin, A.; Neves, N.; Bessani, A.; Abreu, V.. "A Resilient Stream Learning Intrusion Detection Mechanism for Real-Time Analysis of Network Traffic". Paper presented in IEEE Global Communications Conference (Globecom'17), 2017.
    Published • 10.1109/GLOCOM.2017.8254495
  30. Melo, W.S.; Bessani, A.; Carmo, L.F.R.C.. "How blockchains can help legal metrology". Paper presented in SERIAL 2017 Workshop (together with ACM/IFIP/USENIX Middleware'17), 2017.
    Published • 10.1145/3152824.3152829
  31. Oliveira, T.; Mendes, R.; Bessani, A.. "Exploring key-value stores in multi-writer byzantine-resilient register emulations". Paper presented in 20th International Conference On Principles Of DIstributed Systems (OPODIS'16), 2016.
    Published • 10.4230/LIPIcs.OPODIS.2016.30
  32. Sousa, J.; Bessani, A.. "Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines". Paper presented in 34th IEEE International Symposium on Reliable Distributed Systems (SRDS'15), 2016.
    Published • 10.1109/SRDS.2015.40
  33. Botelho, F.; Ribeiro, T.A.; Ferreira, P.; Ramos, F.M.V.; Bessani, A.. "Design and Implementation of a Consistent Data Store for a Distributed SDN Control Plane". Paper presented in the 12th European Conference on Dependable Computing (EDCC'16), 2016.
    Published • 10.1109/EDCC.2016.12
  34. Cogo, V.V.; Bessani, A.; Couto, F.M.; Verissimo, P.. "A high-throughput method to detect privacy-sensitive human genomic data". Paper presented in 14th Workshop on Privacy in the Electronic Society (WPES'15), together with ACM CCS'15, 2015.
    Published • 10.1145/2808138.2808139
  35. Distler, T.; Bahn, C.; Bessani, A.; Fischer, F.; Junqueira, F.. "Extensible distributed coordination". Paper presented in 10th ACM SIGOPS/EuroSys European Systems Conference (EuroSys'15), 2015.
    Published • 10.1145/2741948.2741954
  36. Bessani, A.; Mendes, R.; Oliveira, T.. "On the consistency of heterogeneous composite objects". 2015.
    10.1145/2745947.2746687
  37. Kreutz, D.; Bessani, A.; Feitosa, E.; Cunha, H.. "Towards secure and dependable authentication and authorization infrastructures". Paper presented in 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'14), 2014.
    Published • 10.1109/PRDC.2014.14
  38. Botelho, F.; Bessani, A.; Ramos, F.M.V.; Ferreira, P.. "On the design of practical fault-tolerant SDN controllers". Paper presented in 3rd European Workshop on Software-Defined Networks (EWSDN'14), 2014.
    Published • 10.1109/EWSDN.2014.25
  39. Bessani, A.; Sousa, J.; Alchieri, E.E.P.. "State machine replication for the masses with BFT-SMART". Paper presented in 44th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'14), 2014.
    Published • 10.1109/DSN.2014.43
  40. Bessani, Alysson; Ricardo Mendes; Tiago Oliveira; Neves, Nuno Ferreira; Miguel Correia; Marcelo Pasin; Paulo Verissimo. "SCFS: A Shared Cloud-backed File System". Paper presented in 2014 USENIX Annual Technical Conference, 2014.
    Published
  41. Bessani, A.; Cutillo, L.A.; Ramunno, G.; Schirmer, N.; Smiraglia, P.. "The T clouds platform: From the concept to the implementation of benchmark scenarios". 2014.
    10.1145/2694737.2694741
  42. Cogo, Vinicius; Fernando Alves; Bessani, Alysson Neves. "Indexação sob Demanda para a Compressão Referencial de Ficheiros de ADN". Paper presented in 6th Simposio de Informatica (INFORUM), 2014.
  43. Botelho, F.A.; Ramos, F.M.V.; Kreutz, D.; Bessani, A.N.. "On the feasibility of a consistent and fault-tolerant data store for SDNs". Paper presented in 2nd European Workshop on Software Defined Networks (EWSDN'13), 2013.
    Published • 10.1109/EWSDN.2013.13
  44. Bessani, Alysson; Santos, Marcel; Felix, João; Neves, Nuno. "On the Efficiency of Durable State Machine Replication". Paper presented in 2013 USENIX Annual Technical Conference (USENIX'13), San José, CA, 2013.
    Published
  45. Garcia, M.; Neves, N.; Bessani, A.. "An intrusion-tolerant firewall design for protecting SIEM systems". 2013.
    10.1109/DSNW.2013.6615538
  46. Bessani, A.; Cutillo, L.A.; Ramunno, G.; Schirmer, N.; Smiraglia, P.. "The TClouds platform: Concept, architecture and instantiations". 2013.
    10.1145/2506155.2506156
  47. Sousa, J.; Bessani, A.. "From Byzantine consensus to BFT state machine replication: A latency-optimal transformation". Paper presented in 9th European Conference on Dependable Computing (EDCC'12), 2012.
    Published • 10.1109/EDCC.2012.32
  48. Correia, M.; Costa, P.; Pasin, M.; Bessani, A.; Ramos, F.; Verissimo, P.. "On the feasibility of byzantine fault-tolerant mapreduce in clouds-of-clouds". 2012.
    10.1109/SRDS.2012.46
  49. Verissimo, P.; Bessani, A.; Pasin, M.. "The TClouds architecture: Open and resilient cloud-of-clouds computing". 2012.
    10.1109/DSNW.2012.6264686
  50. Costa, P.; Pasin, M.; Bessani, A.N.; Correia, M.. "Byzantine fault-tolerant MapReduce: Faults are not just crashes". Paper presented in 3rd IEEE International Conference on Cloud Computing and Science (CloudCom'11), 2011.
    Published • 10.1109/CloudCom.2011.15
  51. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "OS diversity for intrusion tolerance: Myth or reality?". Paper presented in 41st IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'11), 2011.
    Published • 10.1109/DSN.2011.5958251
  52. Bessani, A.; Correia, M.; Quaresma, B.; André, F.; Sousa, P.. "DEPSKY: Dependable and secure storage in a cloud-of-clouds". Paper presented in 6th ACM SIGOPS/EuroSys European Systems Conference (EuroSys'11), 2011.
    Published • 10.1145/1966445.1966449
  53. Brandão, L.T.A.N.; Bessani, A.. "On the reliability and availability of systems tolerant to stealth intrusion". Paper presented in 5th Latin-American Symposium on Dependable Computing (LADC'11), 2011.
    Published • 10.1109/LADC.2011.27
  54. Kauer, B.; Verissimo, P.; Bessani, A.. "Recursive virtual machines for advanced security mechanisms". 2011.
    10.1109/DSNW.2011.5958796
  55. Bessani, A.N.. "From Byzantine fault tolerance to intrusion tolerance (a position paper)". 2011.
    10.1109/DSNW.2011.5958857
  56. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.. "EBAWA: Efficient byzantine agreement for wide-area networks". Paper presented in 12th IEEE International High Assurance Systems Engineering Symposium (HASE'10), 2010.
    Published • 10.1109/HASE.2010.19
  57. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.. "Spin one's wheels? Byzantine fault tolerance with a spinning primary". Paper presented in 30th IEEE Symposium on Reliable Distributed Systems (SRDS'09), 2009.
    Published • 10.1109/SRDS.2009.36
  58. Sousa, P.; Bessani, A.N.; Dantas, W.S.; Souto, F.; Correia, M.; Neves, N.F.. "Intrusion-tolerant self-healing devices for critical infrastructure protection". Paper presented in 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09), 2009.
    Published • 10.1109/DSN.2009.5270333
  59. Verissimo, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Sousa, P.. "Designing modular and redundant cyber architectures for process control: Lessons learned". Paper presented in 42nd Hawaii International Conference for the Systems Sciences (HICSS'09), 2009.
    Published • 10.1109/HICSS.2009.150
  60. Alchieri, E.A.P.; Da Silva Fraga, J.; Bessani, A.N.. "A dependable infrastructure for cooperative web services coordination". Paper presented in 6th IEEE International Conference on Web Services (ICWS'08), 2008.
    Published • 10.1109/ICWS.2008.54
  61. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A Byzantine fault-tolerant coordination service". Paper presented in 3rd ACM SIGOPS/EuroSys European Systems Conference (EuroSys'08), 2008.
    Published • 10.1145/1357010.1352610
  62. Bessani, A.; Reiser, H.P.; Sousa, P.; Gashi, I.; Stankovic, V.; Distler, T.; Kapitza, R.; Daidone, A.; Obelheiro, R.. "Forever: Fault/intrusion removal through evolution & recovery". 2008.
    10.1145/1462735.1462763
  63. Sousa, P.; Bessani, A.N.; Obelheiro, R.R.. "The FOREVER service for fault/intrusion removal". 2008.
    10.1145/1413901.1413906
  64. Sousa, P.; Bessani, A.N.; Obelheiro, R.R.. "The FOREVER service for fault/intrusion removal". 2008.
  65. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A byzantine fault-tolerant coordination service". 2008.
    10.1145/1352592.1352610
  66. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Resilient intrusion tolerance through proactive and reactive recovery". Paper presented in 3th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'07), 2007.
    Published • 10.1109/PRDC.2007.59
  67. Dantas, W.S.; Bessani, A.N.; Da Silva Fraga, J.; Correia, M.. "Evaluating Byzantine quorum systems". Paper presented in 26th IEEE International Symposium on Reliable Distributed Systems (SRDS'07), 2007.
    Published • 10.1109/SRDS.2007.4365701
  68. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lung, L.C.. "Decoupled quorum-based byzantine-resilient coordination in open distributed systems". Paper presented in 6th IEEE International Symposium on Network Computing and Applications (NCA'07), 2007.
    Published • 10.1109/NCA.2007.14
  69. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lung, L.C.. "Sharing memory between Byzantine processes using policy-enforced tuple spaces". Paper presented in 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), 2006.
    Published • 10.1109/ICDCS.2006.76
  70. Bessani, A.N.; Fraga, J.D.S.; Lau, C.L.. "BTS: A Byzantine fault-tolerant tuple space". Paper presented in 21st ACM Symposium on Applied Computing (SAC'06), 2006.
    Published
  71. Bessani, A.N.; Da Silva Fraga, J.; Lung, L.C.. "Implementing the multicast Inter-ORB protocol". Paper presented in 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'03), 2003.
    Published • 10.1109/ISORC.2003.1199246
Edited book
  1. James Aspnes; Bessani, Alysson; Pascal Felber; Leitão, João. Leibniz International Proceedings in Informatics (LIPIcs) - Proceedings of 21st International Conference on Principles of Distributed Systems (OPODIS'17). Germany: Schloss-Dagstuhl - Leibniz Zentrum für Informatik. 2018.
    Published
Journal article
  1. Vinicius Cogo; Joao Paulo; Alysson Bessani. "GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data". IEEE Transactions on Computers 70 5 (2021): 669-681. https://doi.org/10.1109/TC.2020.2994774.
    10.1109/TC.2020.2994774
  2. Melo, Wilson S.; Tarelho, Luiz V.G.; Rodrigues, Bruno A.; Bessani, Alysson N.; Carmo, Luiz F.R.C.. "Field surveillance of fuel dispensers using IoT-based metering and blockchains". Journal of Network and Computer Applications 175 (2021): 102914. http://dx.doi.org/10.1016/j.jnca.2020.102914.
    Published • 10.1016/j.jnca.2020.102914
  3. Alves, Fernando; Bettini, Aurélien; Ferreira, Pedro M.; Bessani, Alysson. "Processing tweets for cybersecurity threat awareness". Information Systems 95 (2021): 101586. http://dx.doi.org/10.1016/j.is.2020.101586.
    Published • 10.1016/j.is.2020.101586
  4. Berger, Christian; Reiser, Hans P.; Sousa, Joao; Bessani, Alysson Neves. "AWARE: Adaptive Wide-Area Replication for Fast and Resilient Byzantine Consensus". IEEE Transactions on Dependable and Secure Computing (2020): 1-16. http://dx.doi.org/10.1109/tdsc.2020.3030605.
    Accepted • 10.1109/tdsc.2020.3030605
  5. Macedo, Ricardo; Paulo, João; Pereira, José; Bessani, Alysson. "A Survey and Classification of Software-Defined Storage Systems". ACM Computing Surveys 53 3 (2020): 1-38. http://dx.doi.org/10.1145/3385896.
    10.1145/3385896
  6. Melo, Wilson S.; Bessani, Alysson; Neves, Nuno; Santin, Altair Olivo; Carmo, Luiz F. Rust C.. "Using Blockchains to Implement Distributed Measuring Systems". IEEE Transactions on Instrumentation and Measurement 68 5 (2019): 1503-1514. http://dx.doi.org/10.1109/tim.2019.2898013.
    Published • 10.1109/tim.2019.2898013
  7. 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 (2019): 473-485. https://doi.org/10.1016/j.future.2018.09.051.
    10.1016/j.future.2018.09.051
  8. Mendes, Ricardo; Oliveira, Tiago; Cogo, Vinicius Vielmo; Neves, Nuno Ferreira; Bessani, Alysson Neves. "CHARON: A Secure Cloud-of-Clouds System for Storing and Sharing Big Data". IEEE Transactions on Cloud Computing (2019): 1-1. http://dx.doi.org/10.1109/tcc.2019.2916856.
    Accepted • 10.1109/tcc.2019.2916856
  9. Garcia, M.; Neves, N.; Bessani, A.. "SieveQ: A Layered BFT protection system for critical services". IEEE Transactions on Dependable and Secure Computing 15 3 (2018): 511-525. http://www.scopus.com/inward/record.url?eid=2-s2.0-85047215016&partnerID=MN8TOARS.
    Published • 10.1109/TDSC.2016.2593442
  10. Alchieri, E.A.P.; Bessani, A.; Greve, F.; Fraga, J.D.S.. "Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants". IEEE Transactions on Dependable and Secure Computing 15 2 (2018): 246-259. http://www.scopus.com/inward/record.url?eid=2-s2.0-85043782522&partnerID=MN8TOARS.
    Published • 10.1109/TDSC.2016.2548460
  11. Andre Nogueira; Antonio Casimiro; Alysson Bessani. "Elastic State Machine Replication". IEEE Transactions on Parallel and Distributed Systems (2017): 1-1. https://doi.org/10.1109%2Ftpds.2017.2686383.
    10.1109/TPDS.2017.2686383
  12. Cogo, Vinicius; Bessani, Alysson Neves. "From Data Islands to Sharing Data in the Cloud: the Evolution of Data Integration in Biological Data Repositories". Revista ComInG - Communications and Innovations Gazette (2016): http://dx.doi.org/10.5902/2448190421133.
    Published • 10.5902/2448190421133
  13. Bessani, A.; Neves, N.F.; Veríssimo, P.; Dantas, W.; Fonseca, A.; Silva, R.; Luz, P.; Correia, M.. "JITeR: Just-in-time application-layer routing". Computer Networks 104 (2016): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84971249935&partnerID=MN8TOARS.
    10.1016/j.comnet.2016.05.010
  14. Alves, F.; Cogo, V.; Wandelt, S.; Leser, U.; Bessani, A.. "On-demand indexing for referential compression of DNA sequences". PLoS ONE 10 7 (2015): http://www.scopus.com/inward/record.url?eid=2-s2.0-84940100137&partnerID=MN8TOARS.
    10.1371/journal.pone.0132460
  15. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "Analysis of operating system diversity for intrusion tolerance". Software - Practice and Experience 44 6 (2014): 735-770. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899911060&partnerID=MN8TOARS.
    10.1002/spe.2180
  16. Bessani, A.; Correia, M.; Quaresma, B.; Andre, F.; Sousa, P.. "DepSky: Dependable and secure storage in a cloud-of-clouds". ACM Transactions on Storage 9 4 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84886483953&partnerID=MN8TOARS.
    10.1145/2535929
  17. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.; Verissimo, P.. "Efficient byzantine fault-tolerance". IEEE Transactions on Computers 62 1 (2013): 16-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84870530606&partnerID=MN8TOARS.
    10.1109/TC.2011.221
  18. Costa, P.; Pasin, M.; Bessani, A.N.; Correia, M.P.. "On the performance of byzantine fault-tolerant mapreduce". IEEE Transactions on Dependable and Secure Computing 10 5 (2013): 301-313. http://www.scopus.com/inward/record.url?eid=2-s2.0-84883749059&partnerID=MN8TOARS.
    10.1109/TDSC.2013.7
  19. Verissimo, P.E.; Bessani, A.. "E-biobanking: What have you done to my cell samples". IEEE Security and Privacy 11 6 (2013): 62-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898418004&partnerID=MN8TOARS.
    10.1109/MSP.2013.141
  20. Teixeira d'Aguiar Norton Brandao, L.; Neves Bessani, A.. "Erratum to On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions (J Braz Comput Soc, (2012), 18, (61-80), 10.1007/s13173-012-0062-x)". Journal of the Brazilian Computer Society 18 3 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84866161163&partnerID=MN8TOARS.
    10.1007/s13173-012-0074-6
  21. Teixeira d'Aguiar Norton Brandao, L.; Neves Bessani, A.. "On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions". Journal of the Brazilian Computer Society 18 1 (2012): 61-80. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866153772&partnerID=MN8TOARS.
    10.1007/s13173-012-0062-x
  22. Alchieri, E.A.P.; Bessani, A.N.; Da Silva Fraga, J.. "A dependable infrastructure for cooperative web services coordination". International Journal of Web Services Research 7 2 (2010): 43-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-77954136420&partnerID=MN8TOARS.
    10.4018/jwsr.2010040103
  23. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Highly available intrusion-tolerant services with proactive-reactive recovery". IEEE Transactions on Parallel and Distributed Systems 21 4 (2010): 452-465. http://www.scopus.com/inward/record.url?eid=2-s2.0-77649269780&partnerID=MN8TOARS.
    10.1109/TPDS.2009.83
  24. Bessani, A.N.; Correia, M.; Fraga, J.D.S.; Lung, L.C.. "An efficient byzantine-resilient tuple space". IEEE Transactions on Computers 58 8 (2009): 1080-1095. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955082441&partnerID=MN8TOARS.
    10.1109/TC.2009.71
  25. Bessani, A.N.; Correia, M.; da Silva Fraga, J.; Cheuk Lung, L.. "Sharing memory between byzantine processes using policy-enforced tuple spaces". IEEE Transactions on Parallel and Distributed Systems 20 3 (2009): 419-432. http://www.scopus.com/inward/record.url?eid=2-s2.0-60449093761&partnerID=MN8TOARS.
    10.1109/TPDS.2008.96
  26. Bessani, A.N.; Sousa, P.; Correia, M.; Neves, N.F.; Verssimo, P.. "The crutial way of critical infrastructure protection". IEEE Security and Privacy 6 6 (2008): 44-51. http://www.scopus.com/inward/record.url?eid=2-s2.0-58849119555&partnerID=MN8TOARS.
    10.1109/MSP.2008.158
  27. Correia, M.; Bessani, A.N.; Veríssimo, P.. "On Byzantine generals with alternative plans". Journal of Parallel and Distributed Computing 68 9 (2008): 1291-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-48849084135&partnerID=MN8TOARS.
    10.1016/j.jpdc.2008.04.008
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2020/05 From Byzantine Replication to Blockchains: Consensus is only the Beginning 3rd International Symposium on Foundations and Applications of Blockchain (FAB'20)
University of California Santa Cruz (Santa Cruz, CA, United States)
2020/02 Adapting to Evolving Threats against BFT Systems with Weighted and Diverse Replication Invited talk to Cryptography group
NIST (Washington, DC, United States)
2020/01 Diversity enhancements for Security Information and Event Management 77th IFIP 10.4 (Working group on Dependable Computing and Fault Tolerance) meeting
(Reggio Calabria)
2019/12 The Hills and Thrills of Academic Life ACM/IFIP Middleware'19 doctoral symposium
University of California at Davis (Davis, CA, United States)
2019/12 Byzantine Consensus in the Jungle SERIAL'19 workshop (together with ACM/IFIP Middleware'19)
University of California at Davis (Davis, CA, United States)
2019/10 Adapting to Evolving Threats against BFT Systems with Weighted and Diverse Replication Workshop on Blockchain Technology and Theory (together with DISC'19)
(Budapest, Hungary)
2019/07 Beyond Consensus in Permissioned Ledgers: Experiences in using BFT replication on DLTs Dagstuhl seminar on blockchains and databases
Dagstuhl (Germany)
2018/12 Beyond Consensus in Permissioned Ledgers 1st Hyperledger Global Forum
(Switzerland)
2018/11 Permissioned Ledgers - Consensus is Only the Beginning Invited talk to the Security Group
NEC Laboratories Europe (Heidelberg, Germany)
2018/10 Practical State Machine Replication w/ applications on Datastores and Blockchains 3rd Huawei Cloud Resilience Workshop
Huawei (Xi'an, China)
2018/07 Permissioned Ledgers - Consensus is Only the Beginning CHAIN-IN 2018
(Porto, Portugal)
2018/07 Experiences with BFT-SMaRt as a consensus substrate of Permissioned Ledgers 74th IFIP 10.4 (Working group on Dependable Computing and Fault Tolerance) meeting
(Luxembourg)
2018/01 (Really) Practical Byzantine Fault Tolerance and its application to the Hyperledger Fabric Blockchain Invited talk to the Computer Science Department
University of Lugano (Lugano, Switzerland)
2017/06 The DiSIEM H2020 project: enhancing security monitoring with Diversity, OSINT and Machine Learning 2017 European Security Conference Cybersecurity Analytics
(Lisbon, Portugal)
2016/11 Dependable Storage and Computing using Multiple Cloud Providers International Industry-Academia Workshop on Cloud Reliability and Resilience
Huawei (Berlin, Germany)
2016/06 A Data-centric Approach for Scalability and Fault-tolerance of SDN Controllers 2nd International Workshop on Dependability Issues on SDN and NFV (DISN 2016 - together with IEEE/IFIP DSN'16)
(Tolouse, France)
2016/01 Dependable and Secure Cloud-of-Clouds Storage with Applications to Bioinformatics The Interdisciplinary Centre for Security, Reliability and Trust (SnT) research seminar series
University of Luxembourg (Luxembourg)
2015/09 Secure replication and Byzantine fault-tolerance Summer School on Secure and Trustworthy Computing
Bucharest Polytechnic Institute (Bucharest, Romania)
2015/06 Practical State Machine Replication and Beyond Invited talk at the Computer Science Department
City University of London (London, United Kingdom)
2014/07 Consistency and Reliability in Cloud-backed Storage Systems Invited Talk at the Computer Laboratory Systems Research Group Seminars
Cambridge University (Cambridge, United Kingdom)
2014/06 A Fault- and Intrusion-Tolerant Architecture for the Portuguese Power Distribution SCADA 65th IFIP 10.4 (Working group on Dependable Computing and Fault Tolerance) meeting
(Atlanta, United States)
2014/06 Consistency and Reliability in Cloud-backed Storage Systems Invited Talk at the Microsoft Research Cambridge
(Cambridge, United Kingdom)
2013/09 On the role of state machine replication in cloud infrastructures 2nd International Workshop on Dependability Issues in Cloud Computing (DISCCO'13), together with IEEE SRDS'13
(Braga, Portugal)
2013/03 Cloud-of-clouds Storage: from a Register to a File System Invited talk at the Informatics Department
University of Neuchatel (Neuchatel, Switzerland)

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2021/05/01 - Current Improving the Accuracy and Robustness of ML-based Open Source Cyber Threat Intelligence
Co-supervisor of Samaneh Shafee
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/02 - Current Permissionless Blockchain Consensus with Unknown Participants
Supervisor of Robin Vassantlal
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - Current OSINT-Based Data-Driven Cybersecurity Discovery
Co-supervisor of Fernando Alves
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - Current Low-cost Serverless SIEM in the Cloud
Co-supervisor of Adriano Serkumencka
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2022/10 - 2024/02 Improving Confidential BFT State Machine Replication
Co-supervisor of Cristiano Santos
 Mestrado em Engenharia Informática
Universidade de Lisboa Faculdade de Ciências, Portugal
2021/10 - 2023/12 Threat-Adaptive Byzantine Consensus
Co-supervisor of Lívio Rodrigues
 Mestrado em Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2021/10 - 2023/01 Distributed Attestation Service for IoT
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2021/10 - 2023/01 Securing the Internet at the Exchange Points
Co-supervisor of Tomás Peixinho do Vale
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2020/10 - 2022/01 Scalable Low Latency Consensus for Blockchains
Supervisor
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2019/10 - 2020/12 Exploring the use of blockchain in academic management systems
Co-supervisor of Diogo Sousa
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2019/10 - 2020/11 Data Management for Cloud Supported Cooperative Driving
Co-supervisor of Miguel Lourenço
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2012 - 2020 Efficient, Dependable Storage of Human Genome Sequencing Data
Supervisor of Vinicius Vielmo Cogo
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2018 - 2019/10 Confidential BFT state machine replication
Supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2019/01 Leveraging OSINT to Improve Threat Intelligence Quality
Co-supervisor of Rui Correia Neves Cordeiro de Azevedo
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2019 Diverse Intrusion-Tolerant Systems
Co-supervisor
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2018/12 Improving Cyberthreat Discovery in Open Source using Deep Learning Techniques
Co-supervisor of Nuno Rafael Marques Dionísio
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2018/07 Assessment on the effectiveness of design diversity for network security and monitoring
Supervisor of Pedro Daniel Magalhães Marques
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2018 Byzantine State Machine Replication for the Masses
Supervisor
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2017/10 Cyberthreat discovery in open source intelligence using deep learning techniques
Co-supervisor
 Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - 2016/08 Low-cost cloud-based disaster recovery for transactional databases
Supervisor of Joel Melão Alcântara
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2015 - 2016/07 Aprendizagem automática em larga escala nas redes sociais para a descoberta de ameaças de segurança
Co-supervisor of André Marques Correia
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2016 The Forge-and-Lose Technique and Other Contributions to Secure Two-Party Computation with Commitments
Co-supervisor
 Informática (PhD)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2015/07 Open-source intelligence em sistemas SIEM
Co-supervisor of Bernardo de Simas Gaspar Rodrigues
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2015/07 Vulnerability discovery in power line communications
Co-supervisor of Fernando Baptista Leal Alves
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2014/10 Dependable Data Storage with State Machine Replication
Supervisor of Marcel Henrique dos Santos
 Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2014/10 Uma Linguagem de Protocolos para Descrever Sistemas Distribuídos Tolerantes a Falhas
Co-supervisor of Daniela Henriques
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2014 A consistent and fault-tolerant data store for software defined networks
Co-supervisor
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2014 - 2014 Dependable data storage with state machine replication
Supervisor
 Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11 Software-Defined Networks in Load Balancing
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/11 SCADA in a cloud-based architecture
Co-supervisor of Miguel Osório Areias
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2012 - 2013/07 Um Framework de Programação baseado em AJAX para tratamento de Servidores Web não Confiáveis
Supervisor of Anderson Barreto
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2013/02 Resilient Authentication Service
Co-supervisor of Oleksandr Malichevskyy
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2013 - 2013 Balanceador de carga tolerante a faltas bizantinas
Supervisor
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/11 Substrato de Armazenamento para Sistema de Ficheiro Seguro para Clouds-of-Clouds
Co-supervisor of Tiago Oliveira
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/11 Substrato de Coordenação para Sistemas de Ficheiro Seguro para Clouds-of-Clouds
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/11 Gestão de Estado Eficiente no Serviço de Coordenação DDS
Co-supervisor of João Felix
 Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/10 Comunicação e filiação em redes ad-hoc móveis com participantes desconhecidos
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2012/02 Diverse Intrusion-Tolerant Database Replication
Supervisor of Paulo Ferreira
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2011 - 2011/12 A Fault- and Intrusion-Tolerant Architecture for EDP Distribuição SCADA System
Supervisor of Nuno André Carnido Medeiros
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/11 Serviço de Coordenação para Bases de Dados Replicadas
Supervisor of Rui Jorge Raposo Posse
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/10 Evolução da Biblioteca de Replicação Tolerante a Faltas Bizantinas BFT-SMaRt
Co-supervisor of Bruno Branco e Brito
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/09 Diversity in Intrusion Tolerant Systems
Co-supervisor of Miguel Garcia Tavares Henriques
 Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/04 Confidentiality, Integrity and Non-Repudiation in Smartgrids
Supervisor of Paulo Miguel Santos Moniz
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2010 - 2011/02 Availability and Confidentiality in Storage Clouds
Supervisor
 Segurança Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2011 Protocolos Tolerantes a Falta Bizantinas para Sistemas Distribuídos Dinâmicos
Co-supervisor
 Doutorado em Automação e Sistemas
Universidade Federal de Santa Catarina, Brazil
2009 - 2010/09 Serviço de Armazenamento Tolerante a Intrusões
Co-supervisor of Bruno Quaresma
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2010/07 Serviço de Autenticação Kerberos Tolerante a Faltas Arbitrárias
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2009/09 Gestão de Políticas de Segurança para Infraestruturas Críticas
Supervisor of Hugo Miguel Pimenta Monteiro
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2008 - 2009/09 Concretização de Biblioteca para Tolerância a Intrusões
Supervisor of André Filipe Farias de Sousa
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008/11 Um Sistema de Arquivo e Gestão Eletrônica de Documentos
Co-supervisor of Katia Paiva Lourenço dos Santos
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal
2007 - 2008/09 Arquitecturas de Plataformas de Serviço
Co-supervisor
 Engenharia Informática (Master)
Universidade de Lisboa Faculdade de Ciências, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2023 - 2023 Program Co-Chair of the 27th International Conference on Principles of Distributed Systems (OPODIS'23 - https://xdefago.github.io/opodis23/), together with Yukiko Yamauchi. Tokyo, Japan. (2023/12/06 - 2023/12/08)
Conference (Co-organisor)
2021/07 - 2021/07 Program co-chair of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Conference (DSN'21), together with Giuliano Casale from Imperial College London (2021/07 - 2021/07)
Conference (Co-organisor)
2018 - 2018 Program co-chair of the 1st Workshop on Byzantine Consensus and Resilient Blockchains (in conjunction with IEEE/IFIP DSN 2018), Luxembourg. (2018 - 2018)
Workshop (Co-organisor)
2018 - 2018 Co-chair of the ACM EuroSys 2018 Doctoral Workshop, Porto, Portugal. (2018 - 2018)
Workshop (Co-organisor)
2017 - 2017 General chair of the 21st International Conference on Principles of Distributed Systems (OPODIS'17), Lisboa, Portugal. (2017 - 2017)
Conference (President of the Organising Committee)
 Universidade de Lisboa Faculdade de Ciências, Portugal
2017 - 2017 Publication chair of ACM/EuroSys European Systems Conference 2017. (2017 - 2017)
Conference (Member of the Organising Committee)
2016 - 2016 Co-chair of PaPoC'16 (with Peter Alvaro from UCSC), the 3rd Workshop of Principles and Practice of Consistence for Distributed Data (in conjunction with ACM EuroSys'16, London, UK). (2016 - 2016)
Workshop (Co-organisor)
2015 - 2015 Program co-chair of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2015). This conference is part of the 10th International Federated Conference on Distributed Computing Techniques (DisCoTec 2015), Grenoble, France, June 2-4, 2015. I was also the editor of the proceedings, published by LNCS in its volume 9038 (\url{http://www.springer.com/gp/book/9783319191287}). (2015 - 2015)
Conference (Co-organisor)
2013 - 2013 Coordinator of the track ``Computação Distribuída e em Larga Escala'' of Inforum 2013. (2013 - 2013)
Conference (Member of the Scientific Committee)
2012 - 2012 Co-chaired the EWDCC'12 (Rudiger Kapitza from University of Erlangen-Nurnberg), the 1st European Workshop on Dependable Cloud Computing (in conjunction with EDCC'12, in Sibiu, Romania). (2012 - 2012)
Workshop (Co-organisor)
2011 - 2011 Co-chaired WRAITS'11 (with Partha Pal from BBN Technologies), the 5th Workshop on Recent Advances in Intrusion-Tolerant Systems (in conjunction with IEEE/IFIP DSN'11, in Hong Kong, China). (2011 - 2011)
Workshop (Co-organisor)

Conference scientific committee

Conference name Conference host
2022/11 - 2024/11 2022-2023 ACM Conference on Computer and Communications Security (CCS)
2018 - 2023 2018-2020, 2022-2023 IEEE Symposium on Reliable Distributed Systems (SRDS)
2018 - 2023 2018, 2021-2023 International Conference on Principles of Distributed Systems (OPODIS)
2016 - 2023 2016, 2020, 2023 IEEE International Conference on Distributed Computing Systems (ICDCS)
2015 - 2023 2015-2023 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
2020 - 2021 2020-2021 ACM/IFIP International Middleware Conference (Middleware)
2013 - 2020 2013, 2020 Latin-American Dependable Computing Conference (LADC)
2009 - 2020 2009-2020 Inforum
2015 - 2018 2015-2018 IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)
2012 - 2012 2012 European Dependable Computing Conference (EDCC)

Consulting

Activity description Institution / Organization
2019/04 - 2020/03 Cooperation funded by NEC Labs Europe for the development of an efficient Byzantine replication library implementing their FastBFT protocol. Universidade de Lisboa Faculdade de Ciências, Portugal

Journal scientific committee

Journal title (ISSN) Publisher
2019 - Current Information Systems (0306-4379) Elsevier
2012 - 2020 IEEE Transactions on Computers (1557-9956) Institute of Electrical and Electronics Engineers
2013 - 2019 IEEE Transactions on Cloud Computing (2168-7161) Institute of Electrical and Electronics Engineers
2006 - 2019 IEEE Transactions on Dependable and Secure Computing (1941-0018) Institute of Electrical and Electronics Engineers
2014 - 2017 Concurrency Practice and Experience (1096-9128) Wiley (John Wiley & Sons)
2006 - 2017 IEEE Transactions on Parallel and Distributed Systems (1558-2183) Institute of Electrical and Electronics Engineers
2014 - 2015 ACM Transactions on Storage (1553-3093) Association for Computing Machinery
2011 - 2013 Journal of Parallel and Distributed Computing (1096-0848) Elsevier
Distinctions

Award

2023 Prêmio Científico ULisboa/CGD 2023 em Ciências da Computação e Engenharia Informática
Universidade de Lisboa, Portugal

Caixa Geral de Depositos, Portugal
2021 Paper "OS Diversity for Intrusion Tolerance: Myth or Reality?" won the test-of-time award on IEEE/IFIP DSN'21 (https://www.dependability.org/test-of-time.html).
IEEE Computer Society, United States
2021 Paper "Making Reads in BFT State Machine Replication Fast, Linearizable, and Live" won the Prof. C.V. Ramamoorthy Best Paper Award at the 40th International Symposium on Reliable Distributed Systems (SRDS'21).
2019 João Sousa (my PhD student) won the 2019 Willian C. Carter Award Dissertation Award on Dependability (http://www.dependability.org/carter-award.html).
IEEE Computer Society, United States

IFIP - International Federation for Information Processing, France
2019 Paper "Lazarus: Automatic Management of Diversity in BFT Systems" won the best student paper award on ACM/IFIP Middleware'19.
ACM - Association of Computer Machinery, United States

IFIP - International Federation for Information Processing, France
2017 Best paper award on INFORUM'17
2011 Best paper Award or the 3rd IEEE International Conference on Cloud Computing and Science (CloudCom’11)
2009 Melhor Artigo Ciêntifico no XXVII Simpósio Brasileiro de Redes de Computadores (SBRC 2009)

Other distinction

2023 Appeared on top 2% most cited researchers in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/6).
2023 Appeared on top 2% most cited researchers in 2022 in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/6)
2022 Appeared on top 2% most cited researchers in 2021 in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/5).
2022 Appeared on top 2% most cited researchers in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/5).
2021 Appeared on top 2% most cited researchers in 2020 in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/3).
2020 Appeared on top 2% most cited researchers in 2019 in the field of Networking & Telecommunications (https://elsevier.digitalcommonsdata.com/datasets/btchxktzyw/2).
2019 Paper "Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication" selected as one of the three best papers on IEEE SRDS'19.
IEEE Computer Society, United States
2017 IBM Faculty Award
International Business Machines Corp, United States