月一ゼミ．珍しく理論のほうのお話を．内容は今年のTCCの，Chiu Yuen KooのMPCに関する論文の紹介． しかし，構成したプロトコルが安全性定義を満たすことの証明ってのがあるのだけど，どうみても十分じゃないところがある．なんだかなーと思いながらも発表…