Composition of Secure Multi-Party Protocols | lit.salon