MarriageTheoremのこと

_ 週末。

_ IACR ePrint 2014/397まで確認済み、ECCC 2003年分まで確認済み

_ 気になった論文：Yao's millionaires' problem and decoy-based public key encryption by classical physics, Dima Grigoriev and Vladimir Shpilrain, http://eprint.iacr.org/2014/384

We use various laws of classical physics to offer several solutions of Yao's millionaires' problem without using any one-way functions. We also describe several informationally secure public key encryption protocols, i.e., protocols secure against passive computationally unbounded adversary. This introduces a new paradigm of decoy-based cryptography, as opposed to ``traditional" complexity-based cryptography. In particular, our protocols do not employ any one-way functions.

_ さっき見かけた偶数と偶数の和は偶数であることの説明 - 紙屋研究所という記事を読んで思うところを書こうとしたのだが、長くなるのでこっちに書いた。（久々に使ったのではてな記法を完全に忘れていた。）

_ とある応募書類を提出した。

_ （6/16記：某書類を提出して抜け殻になっていたような気がする。）

_ （6/16記：テレビ会議に参加。便利な世の中になったものである。）

_ （6/16記：某企業との打ち合わせのため笹塚へ。雨に降られた。確か前回の打ち合わせの日も雨だったような…。）

_ （6/16記：留守の人が多いため某C大ミーティングはお休み。）

_ （6/16記：4月から大阪大の教員になった871氏を囲んで研究談義。面白そうなテーマが多くて何よりである。）

_ （6/16記：週末。大阪出張なのに生八つ橋が土産に入っているという味わい深い状況を噛み締めていた（物理）。）

_ （6/16記：代休。対角線論法と選択公理に関連したちょっとした問題を考えたので記事を書いたところ、Aさんに瞬殺された。さすがプロは違う。）

_ （6/16記：やはり分野によって論文の雰囲気にも違いがあるなぁ、と改めて実感した。）

_ （6/16記：ちょっと面白そうな研究ネタを思いついたのだが、先行研究調査がとんでもなく面倒そうな薫りが漂っている。）

_ （6/16記：そういえば、しばらく前に久々の論文アクセプト通知が届いて喜びに包まれていた。）

_ （6/16記：某C大ミーティング。International conventionの破壊力に衝撃が走っていた。）

_ （6/16記：週末。リフレッシュした。）

_ （6/16記：週末。サッカーW杯の日本対コートジボワール戦をテレビで観戦した。正直、これはいずれ点取られるよなぁという試合運びだったので失点自体はまぁそうだよねという感想。相手より得点が少なかったのがいけない、ということで。）

_ IACR ePrint 2014/460まで確認済み、ECCC 2003年分まで確認済み

_ 気になった論文：Automated Analysis of Cryptographic Assumptions in Generic Group Models, Gilles Barthe and Edvard Fagerholm and Dario Fiore and John Mitchell and Andre Scedrov and Benedikt Schmidt, http://eprint.iacr.org/2014/458

We initiate the study of principled, automated, methods for analyzing hardness assumptions in generic group models, following the approach of symbolic cryptography. We start by defining a broad class of generic and symbolic group models for different settings---symmetric or asymmetric (leveled) k-linear groups---and by proving "computational soundness" theorems for the symbolic models.

Based on this result, we formulate a very general master theorem that formally relates the hardness of a (possibly interactive) assumption in these models to solving problems in polynomial algebra. Then, we systematically analyze these problems. We identify different classes of assumptions and obtain decidability and undecidability results.

Then, we develop and implement automated procedures for verifying the conditions of master theorems, and thus the validity of hardness assumptions in generic group models. The concrete outcome of this work is an automated tool which takes as input the statement of an assumption, and outputs either a proof of its generic hardness or shows an algebraic attack against the assumption.

_ （6/18記：そういえば、数学セミナー7月号でエレガントな解答をもとめています。）

_ メモ：プライバシーフリークのためのYahoo!JAPANとCCC（Tポイントカード）オプトアウト手順

_ （6/21記：こんな本が出るらしい。）

_ （6/21記：サッカーW杯、日本対ギリシャ戦。初戦よりは動きが良くなっていたと思うのだが、一方で初戦は取れた得点が今回は取れなかったわけで、世の中ままならないものである。）

_ 週末。

_ IACR ePrint 2014/471まで確認済み、ECCC 2003年分まで確認済み

_ 週末。

_ IACR ePrint 2014/480まで確認済み、ECCC 2003年分まで確認済み

_ （6/25記：PKC2014を勉強してきた。）

_ （6/25記：ただでさえ馴染みの薄い分野の発表を英語で聴くと本当に何が何だかわからないことが判明して涙を禁じ得ない。）

_ IACR ePrint 2014/492まで確認済み、ECCC 2003年分まで確認済み

_ （7/8記：また間が空いたのでこの日に何をしたか忘れてしまった。）

_ （7/8記：某C大ミーティング。）

_ （7/8記：週末。完全数の日。）

_ （7/8記：週末。）

_ （7/8記：某国際会議の論文締切だった。どうなるだろうか。）