Text this: Composition of secure multi-party protocols :