やったこと

Marktoberdorf

SAT関連の話が多かった気がする。
何にしても裏にSATが使われているので、意識せざるを得ないということなのかもしれない。

個人的にはクレカの決済プロトコルを検証した話が興味深かった。
Tamarinは本当に使われているんだなぁ、という気がする。

結構寝たのだけど、かなり疲れが残っていて苦しい。

夕飯はBBQだった。肉とソーセージがデカい。

研究

論文の提出期限が迫っていてマズかったので、午後はそちらの作業をしていた。
ArXiv版とcamera readyを提出したので、一旦はどうにかなった形。