Composition of Secure Multi-Party Protocols by Yehuda Lindell