Universal Composability of Secure Multi-party Computation Protocols



Friday, 30 June 2017, 17:15 to 18:15



We discuss the notion of security in the multi-party computing protocols. We start with the simpler definition of standalone security. The need for a stronger definition of security is motivated by a simple example where standalone security is shown to be insufficient when we compose protocols. The rest of the discussion would be on UC security, which is the strongest notion of security. We discuss this concept with some examples.