Improving Byzantine Protocols with Secure Computational Components - Miguel Correia (2005)