Date: | 14:40-15:20, Monday, March 23, 2009 |
Venue: | FIT Building 1-315, Tsinghua University |
Title: | Solving linear programs using multiparty computation
|
Speaker: | Thomas Toft |
Biography: |
Thomas Toft got his BS in Aarhus University in 2006. Now he is a PhD student in department of computer science in Aarhus University in Denmark from February 2008 to present.
|
Abstract: |
Solving linear programming (LP) problems can be used to solve many different types of problems. Immediate examples include certain types of auctions as well as benchmarking. However, the input data may originate from different, mistrusting sources, which implies the need for a privacy preserving solution. We present a protocol solving this problem using black-box access to secure modulo arithmetic. The solution can be instantiated in various settings: Adversaries may be both active and adaptive, but passive and/or static ones can be employed, e.g. for efficiency reasons. Perfect security can be obtained in the information theoretic setting (up to 1/3 corruptions), while corruption-of-all-but-one is possible in the cryptographic setting. The latter allows a two-party protocol. The solution is based on the well known simplex method. Lettting n denote the number of initital variables and m the number of constraints, each pivot requires only O(log log m) rounds in which O(m(m+n)) multiplication protocols and O(m+n) comparison protocols are invoked; this is equivalent to the base-algorithm. A constant-rounds variation is also possible, this increases the number of comparisons to O(m^2 + n).
|