OS diversity for intrusion tolerance: Myth or reality? - Miguel Garcia 002; Alysson Neves Bessani; Ilir Gashi; Nuno Ferreira Neves; Rafael R. Obelheiro (DSN, 2011)

An intrusion-tolerant firewall design for protecting SIEM systems. - Miguel Garcia 002; Nuno Ferreira Neves; Alysson Bessani (DSN Workshops, 2013)

Analysis of operating system diversity for intrusion tolerance. - Miguel Garcia 002; Alysson Neves Bessani; Ilir Gashi; Nuno Ferreira Neves; Rafael R. Obelheiro (Softw. Pract. Exp., 2014)

On the Challenges of Building a BFT SCADA. - André Nogueira; Miguel Garcia 002; Alysson Bessani; Nuno Neves 001 (DSN, 2018)

SieveQ: A Layered BFT Protection System for Critical Services. - Miguel Garcia 002; Nuno Neves 001; Alysson Bessani (IEEE Trans. Dependable Secur. Comput., 2018)

Lazarus: Automatic Management of Diversity in BFT Systems. - Miguel Garcia 002; Alysson Bessani; Nuno Neves 001 (Middleware, 2019)