Alysson Bessani's Personal Page

I'm an associate professor at the Informatics Department of Faculdade de Ciências da Universidade de Lisboa, on Lisbon, Portugal. I'm also member of LaSIGE (Large Scale Informatics Systems Laboratory) group where I'm involved in several research projects with the Navigators team. I've spent the Summer of 2014 at Microsoft Research Cambridge, working in the Systems and Network Group. I've also spent the Spring 2010 semester on leave to Carnegie Mellon University's CyLab working in the PDL (Parallel Data Lab).

"Those who fall in love with Practice without Theory are like the seaman on a boat without a steering wheel or a compass, who is never sure where he'll land."
(Leonardo da Vinci)

"Anyone can make the simple complicated. Creativity is making the complicated simple."
(Charles Mingus)

New and Noteworthy


Research Interests: Distributed Systems, Fault Tolerance, Distributed Systems and Security.

Selected and Recent Papers (full list)

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.

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.

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

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. IEEE link

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

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. Sep. 2015. pdf

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

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.

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.

Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro. Analysis of operating system diversity for intrusion tolerance. Software: Practice and Experience. Willey. January 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) software.

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. January 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).

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).

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.

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, 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. pdf.

Current Projects: SUPERCLOUD (EU H2020), SeGRID (EU FP7), BiobankCloud (EU FP7)

Past Projects: SecFuNet (ICT EU-BR), RC-Clouds (FCT), SITAN (FCT), TCLOUDS (EU FP7 IP), MASSIF (EU FP7 IP), ReD (FCT), ReGenesys (FCT), CloudFIT (FCT), Diverse (FCT), CRUTIAL (EU FP7 STREP), Forever (EU/RESIST NoE)

BFT-SMaRt (a BFT/CFT state machine replication)

Current Students

João Sousa (PhD, FCUL)
Luís Brandão (PhD, ECE CMU/FCUL, Co-advised with Nicolas Christin)
Miguel Garcia (PhD, FCUL, Co-advised with Nuno Neves)
Vinicius Cogo (PhD, FCUL)

MsC Students: Joel Alcântara, Diogo Pires, André Correia (Co-advised with Pedro Ferreira)

Research Staff: Ricardo Mendes, André Nogueira, Tiago Oliveira.

Past Students

Eduardo Alchieri (PhD 2011, DAS UFSC-Brazil, Co-advised with Joni da Silva Fraga), now at UNB, Brazil

Many master students... to be updated someday :-)


Informatics Engineering
Distributed Systems (2007/2008-1, 2008/2009-1, 2009/2010-1, 2010/2011-1, 2011/2012-1, 2012/2013-1)
Security (2007/2008-2, 2008/2009-2, 2011/2012-2, 2012/2013-2)
Computer Systems Architecture (2014/2015-1, 2015/2016-1)
Informatics Security (2007/2008-2, 2008/2009-2, 2011/2012-2)

CMU-Portugal Masters in Information Security
Intrusion Tolerance (2009/2010-2, 2010/2011-2)

Masters in Informatics/Informatics Engineering/Informatics Security
Distributed Systems Programming (2010/2011-1)
Software Security (2012/2013-1)
Security Technologies (2012/2013-2)
Fault-Tolerant Distributed Systems (2014/2015-1, 2015/2016-1)
Intrusion Detection and Tolerance/Intrusion Tolerance (2014/2015-2, 2015/2016-2)

Information Technology
Distributed Applications (2008/2009-1, 2009/2010-1, 2014/2015-2, 2015/2016-2)
Informatics Security (2007/2008-2, 2008/2009-2)


In my free time I enjoy a lot of things such as tabletop wargamming, surfing, running, videogames and reading (mainly comics or sci-fi).

Last Updated at June 6, 2016.