Improving Byzantine Protocols with Secure Computational Components - Miguel Correia; Alysson Neves Bessani; Nuno Ferreira Neves; Lau Cheuk Lung; Paulo Veríssimo (2005)