Advances in Practical Multiparty Computation
The 5th BIU Winter School, 2015
ADVANCES IN PRACTICAL MULTIPARTY COMPUTATION
Organized by Yehuda Lindell and Benny Pinkas, Department of Computer Science, Bar-Ilan University, Israel
This winter school is in cooperation with the International Association for Cryptologic Research and it is graciously sponsored by the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement n. 615172 (HIPS), the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n. 609611 (PRACTICE), Bar-Ilan University, the Check Point Institute for Information Security and the Leona H. and Harry B. Helmsley Charitable Trust and the Israel National Cyber Bureau.
School Lecturers
- Ivan Damgård (Aarhus University)
- Yehuda Lindell (Bar-Ilan University)
- Claudio Orlandi (Aarhus University)
- Benny Pinkas (Bar-Ilan University)
- Abhi Shelat (University of Virginia)
- Thomas Schneider (Technical University Darmstadt)
School Overview
In the setting of secure multiparty computation, two or more parties with private inputs wish to compute some joint function of their inputs. The security requirements of such a computation are privacy (meaning that the parties learn the output and nothing more), correctness (meaning that the output is correctly distributed), independence of inputs, and more. This setting encompasses computations as simple as coin-tossing and agreement, and as complex as electronic voting, electronic auctions, electronic cash schemes, anonymous transactions, and private information retrieval schemes. Due to its generality, secure computation is a central tool in cryptography.
Secure multiparty computation has been advancing in leaps and bounds in recent years, and is now at a state where many problems arising in practice can be solved. In this winter school, we will study the major techniques and state-of-the-art protocols for practical two-party and multiparty computation. The first day of the school will begin with tutorials for those not familiar with the basics of secure computation. This material can also be viewed from the 1st BIU winter school (the first, second, third, fourth and fifth lectures are recommended). The aim of the school is to start from the basics, and teach the material needed to bring the participants up to date with the latest results in this exciting field. The last day of the school will be a mini-workshop where latest results will be presented.
The school program includes approximately 27 hours of lectures and a half-day excursion to Jerusalem.
The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.
Talks
Tutorials
- Definitions and Oblivious Transfer - Yehuda Lindell (video)
- Yao’s Two-Party Protocol and the BMR Multi-Party Protocol – Benny Pinkas (video)
- The GMW Multiparty Protocol and Oblivious Transfer Extension – Benny Pinkas (video)
- Efficient Zero-Knowledge – Yehuda Lindell (video)
- Security against Malicious Adversaries – Yehuda Lindell (video)
Practical Two-Party Computation Based on Yao’s Protocol
- Optimizing Yao and GMWl for Semi-Honest Adversaries – Thomas Scheider (video)
- Security for Malicious Adversaries with Yao’s Protocol – part 1 – Abhi Shelat (video)
- Security for Malicious Adversaries with Yao’s Protocol – part 2 – Abhi Shelat (video)
- Implementation Issues and Optimizations – Abhi Shelat (video)
The TinyOT Protocol
- The TinyOT Protocol - part 1 - Claudio Orlandi (video)
- The TinyOT Protocol - part 2 slides2-1 slides2-2 - Claudio Orlandi (video)
SPDZ and Specific Protocols
- The SPDZ Protocol - part 1 – Ivan Damgard (video)
- The SPDZ Protocol - part 2 – Ivan Damgard (video)
- ORAM – Benny Pinkas (video)
- Set Intersection – Benny Pinkas (video)
Workshop: New Results in Practical MPC
- UC Secure Commitments with Optimal Amortized Overhead - Ivan Damgård (video)
- More Efficient Oblivious Transfer Extensions with Security for Malicious Adversaries - Gilad Asharov (video)
- Large-Scale Secure Computation: MPC for Parallel RAM Programs - Elette Boyle (video)
- Rethinking for Secure Computation: A Greedy Approach - Muthuramakrishnan Venkitasubramaniam (video)
- Oblivious Polynomial Evaluation and Secure Set-Intersection from Algebraic PRFs - Carmit Hazay (video)
- Ciphers for MPC and FHE - Christian Rechberger
- A Tutorial on SCAPI - Yehuda Lindell (video)
- How to Implement Anything in MPC - Marcel Keller (video)
- ABY – A Framework for Efficient Mixed-Protocol Secure Two-Party Computation - Michael Zohner (video)
- New Consistency Checks and Implementing Online/Offline Yao - Ben Riva (video)
- Privacy-Free Garbled Circuits with Applications To Efficient Zero-Knowledge - Claudio Orlandi (video)
Information for Participants
- Where: The winter school will take place at the Rayman hall at Kfar Hamaccabiah Events & Conference Center in Ramat Gan, except for the 1st day of tutorials which will take place in the Feldman Hall at Bar Ilan University.
- When: Sunday 15/2/2015 to Thursday 19/2/2015
- Registration: Participation is free, but registration is required. There will be separate registration for the 1st day and for the rest of the school. Registration includes school participation, lunch and refreshments, the excursion, and transportation between the hotel and Bar-Ilan on the first day. (Accommodation is not included). Please register by December 30, 2014.
- Hotel: We have arranged a special rate at the Kfar Hamaccabiah Hotel where the conference center is located. The rate is $160 a night for a single room, $180 a night for a double room (with two occupants) and $220 for a triple room (with three occupants). The rate includes breakfast. On the 1st day (February 15, 2015), we will provide transportation to and from Bar-Ilan University.
- Support: Some stipends of $800 each (for flight and accommodation) are available for overseas students needing support. Please have your advisor send a letter justifying the need for financial support.