Knowledge-Oriented Secure Multiparty Computation.
Piotr Mardziel, Michael Hicks, Jonathan Katz, Mudhakar Srivatsa.
In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). June 2012.

Topics: information security, quantified information flow, secure multi-party computation

Piotr Mardziel
Michael Hicks
Jonathan Katz
Mudhakar Srivatsa
(IBM Research)

[ pdf ]

Protocols for secure multiparty computation (SMC) allow a set of mutually distrusting parties to compute a function f of their private inputs while revealing nothing about their inputs beyond what is implied by the result. Depending on f, however, the result itself may reveal more information than parties are comfortable with. Almost all previous work on SMC treats f as given. Left unanswered is the question of how parties should decide whether it is ``safe'' for them to compute f in the first place.

We propose here a way to apply belief tracking to SMC in order to address exactly this question. In our approach, each participating party is able to reason about the increase in knowledge that other parties could gain as a result of computing f, and may choose not to participate (or participate only partially) so as to restrict that gain in knowledge. We develop two techniques-the belief set method and the SMC belief tracking method-prove them sound, and discuss their precision/performance tradeoffs using a series of experiments.

  title = {Knowledge-Oriented Secure Multiparty Computation},
  author = {Piotr Mardziel and Michael Hicks and Jonathan Katz and Mudhakar Srivatsa},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS)},
  month = {June},
  year = {2012},