Course10610823762 lectures
Secure Computation: Part II
Prof. Ashish Choudhury · IIITB
About
Secure multi-party computation (MPC) is one of the most fundamental problems in cryptography as well as distributed computing. In a nutshell, a MPC protocol allows a set of mutually distrusting parties with private inputs, to perform any joint computation on their data, by keeping their respective data as private as possible. Secure MPC abstracts several real-world problems, for example privacy-preserving data mining, privacy-preserving ML, secure e-auctions, private matchmaking, secure set-intersection, secure e-voting, secure signal-processing, secure bioinformatics, secure biometrics, secure outsourcing, to name a few. Since the domain of secure computation is enormously vast, it is impossible to discuss every relevant topic in just a single course. Hence the plan is to cover the topics in two parts. The first part titled Secure Computation: Part I has been already offered. In that course, we covered a simpler form of adversarial setting, namely semi-honest adversary (passive adversary), where the corrupt parties are supposed to follow protocol instructions. However, real-life attackers may not be so benign and can cause the compromised parties to behave in any arbitrary fashion. Such corruptions are better modelled by active/malicious (Byzantine) adversaries, which will be the focus of this course.
Prerequisites: It is expected that the participant has done a basic course on Cryptography (such as the Foundations of Cryptography course available on NPTEL), a basic course on Discrete Mathematics (several courses on Discrete Mathematics are available on NPTEL) and the course titled Secure Computation: Part I (available on NPTEL).
Lectures
Week 1
- What is Secure Multi-Party Computation (MPC)?
- Reliable Broadcast and Byzantine Agreement
- EIG Protocol for Perfectly-Secure Byzantine Agreement
- EIG Protocol for Perfectly-Secure Byzantine Agreement: Illustration
Week 2
- EIG Protocol for Perfectly-Secure Byzantine Agreement: Analysis Part I
- EIG Protocol for Perfectly-Secure Byzantine Agreement: Analysis Part II
- Efficient Protocols for Perfectly-Secure Byzantine Agreement: Part I
- Efficient Protocols for Perfectly-Secure Byzantine Agreement: Part II
- Domain Extension for Perfectly-Secure Byzantine Agreement
Week 3
- Cryptographically/Statistically-Secure Reliable Broadcast
- Dolev-Strong Reliable Broadcast Protocol: Analysis
- Randomized Protocol for Byzantine Agreement: Part I
- Randomized Protocol for Byzantine Agreement: Part II
- Randomized Protocol for Byzantine Agreement: Part III
Week 4
- Lower Bound for Number of Parties for Byzantine Agreement: Part I
- Lower Bound for Number of Parties for Byzantine Agreement: Part II
- Lower Bound for Number of Parties for Byzantine Agreement: Part III
- Recap of Basic Concepts from Abstract Algebra
- Reed-Solomon Error-Correcting Codes
- Perfectly-Secure Message Transmission
Week 5
- Properties of Polynomials Over a Field: I
- Properties of Polynomials Over a Field: II
- One Round PSMT Protocol
- Multi-Round PSMT Protocol: I
- Multi-Round PSMT Protocol: II
Week 6
- Domain Extension for Perfectly-Secure Broadcast Based on RS Error-Correcting Codes: I
- Domain Extension for Perfectly-Secure Broadcast Based on RS Error-Correcting Codes: II
- Domain Extension for Perfectly-Secure Broadcast Based on RS Error-Correcting Codes: III
- (n,t) – star Structure
- Domain Extension for Perfectly-Secure Broadcast Based on RS Error-Correcting Codes: IV
Week 7
- The BGW MPC Protocol for Passive Corruptions : Recap
- The BGW MPC Protocol for Byzantine Corruptions: Challenges
- Perfectly-Secure VSS: Necessary Condition
- Bivariate Polynomials Over Finite Fields: I
- Bivariate Polynomials Over Finite Fields: II
Week 8
- Bivariate Polynomials Over Finite Fields: III
- Bivariate Polynomials Over Finite Fields: IV
- Perfectly-Secure VSS with n greater than 3t : Part I
- Perfectly-Secure VSS with n greater than 3t : Part II
- Perfectly-Secure VSS with n greater than 3t: Part III
Week 9
- Perfectly-Secure VSS with n greater than 3t: A Round-Reducing Technique
- Perfectly-Secure VSS with n greater than 4t: Part I
- Perfectly-Secure VSS with n greater than 4t: Part II
- The BGW MPC Protocol for Linear Functions
- The BGW MPC Protocol for Linear Functions: Security Analysis
Week 10
- The BGW MPC Protocol: The Case of Non-Linear Gates
- The Degree-Reduction Problem
- Generating Random Multiplication-Triples: I
- Generating Random Multiplication-Triples: II
- Generating Random Multiplication-Triples: III
Week 11
- Perfectly-Secure Protocol for Verifying Multiplicative Relationship
- Perfectly-Secure Verifiable Triple-Sharing Protocol
- Perfectly-Secure Triple-Extraction Protocol
- Towards Secure MPC with an Honest Majority
- ICP from Information-Theoretic MAC: I
Week 12
Syllabus and materials
At NPTEL, as the course publishes them.
Credits and licence
- Institution
- IIITB
- Department
- Computer Science and Engineering
- Teacher
- Prof. Ashish Choudhury
- Level
- Graduate
- Language
- English
- Subjects
- Computer science, Engineering
- Source
- NPTEL
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only. NPTEL's terms
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge. Coordinated by IISc Bangalore.
- Who can watch
- NPTEL gives no rating. Invisible Network shows it to Tweens profiles and older, judged from what the source says about it. How courses are placed
More like this
Course
Matrix Methods in Data Analysis, Signal Processing, and Machine Learning
34 lectures · Video
Course
Computational Science and Engineering I
50 lectures · Video
Course
Engineering Dynamics
223 lectures · Video
Course
CS50’s Introduction to Computer Science
12 lectures · Video
Course
Frontiers of Biomedical Engineering
25 lectures · Audio