Evaluating Byzantine Quorum Systems. - Wagner Saback Dantas; Alysson Neves Bessani; Joni da Silva Fraga; Miguel Correia 001 (SRDS, 2007)

Intrusion-tolerant self-healing devices for critical infrastructure protection. - Paulo Sousa 001; Alysson Neves Bessani; Wagner Saback Dantas; Fabio Souto; Miguel Correia 001; Nuno Ferreira Neves (DSN, 2009)

JITeR: Just-in-time application-layer routing. - Alysson Bessani; Nuno Ferreira Neves; Paulo Veríssimo; Wagner Saback Dantas; Alexandre Fonseca; Rui Silva; Pedro Luz; Miguel Correia 001 (Comput. Networks, 2016)