On the Effects of Finite Memory on Intrusion-Tolerant Systems. - Giuliana Santos Veronese; Miguel Correia 001; Lau Cheuk Lung; Paulo Veríssimo (PRDC, 2007)

Designing Fault Tolerant Web Services Using BPEL. - Jim Lau; Lau Cheuk Lung; Joni da Silva Fraga; Giuliana Santos Veronese (ACIS-ICIS, 2008)

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. - Giuliana Santos Veronese; Miguel Correia 001; Lau Cheuk Lung; Paulo Veríssimo (NCA, 2008)

Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung (SRDS, 2009)

EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung (HASE, 2010)

Asynchronous Byzantine consensus with 2f+1 processes. - Miguel Correia 001; Giuliana Santos Veronese; Lau Cheuk Lung (SAC, 2010)

Byzantine consensus in asynchronous message-passing systems: a survey. - Miguel Correia 001; Giuliana Santos Veronese; Nuno Ferreira Neves; Paulo Veríssimo (Int. J. Crit. Comput. Based Syst., 2011)

Efficient Byzantine Fault-Tolerance. - Giuliana Santos Veronese; Miguel Correia 001; Alysson Neves Bessani; Lau Cheuk Lung; Paulo Veríssimo (IEEE Trans. Computers, 2013)