Secure Multi-Party Computation
Lectures

  • Nov. 15, 2018 8:30am - 9:30am

    Lecture -1: Introduction to Secure Computation
    Instructor: Prof Bingsheng Zhang

    • What are cryptographic protocols?
    • Understanding Security and Assumptions
    • How to define and prove protocol security?
  • 10:00am - 12:00am

    Lecture -2: Modeling
    Instructor: Prof Hongsheng Zhou

    • The simulation paradigm: the standalone model
    • The Universal Composition (UC) framework
    • The complexity of cryptographic primitives
    • Beyond UC
  • 2:00pm - 3:00pm

    Lecture -3: Passive Security
    Instructor: Prof Hongsheng Zhou

    • Oblivious Transfer (OT)
    • Yao’s garbled circuits
    • FHE based protocol
    • The GMW protocol, and more
  • 3:30pm - 5:30pm

    Lecture -4: Active Security
    Instructor: Prof Bingsheng Zhang

    • Basic primitives (Zero-knowledge proofs, Coin-tossing, Commitment, OT)
    • The GMW compiler
    • Play MPC in the head, and the IPS compiler
    • SPDZ and its variants
    • Publicly auditable MPC