ゼミ

月一ゼミ．珍しく理論のほうのお話を．内容は今年のTCCの，Chiu Yuen KooのMPCに関する論文の紹介．
しかし，構成したプロトコルが安全性定義を満たすことの証明ってのがあるのだけど，どうみても十分じゃないところがある．なんだかなーと思いながらも発表．足りない部分は基本的に自分で証明つけたけど，一カ所だけ，ケアするのわすれてて，述べられませんでした．ゴメンナサイ．