FAIS

今月／来月はいろいろな会合や締め切りに追われ、更新が停滞しています／する予定です。スミマセン。

明日はFAIS（日本応用数理学会「数理的技法による情報セキュリティ」研究部会）の研究集会です、と宣伝。また日帰りなので懇親会には出られないのですが。spi計算*1や関連研究について、抽象的な一般論は聞き飽きたから具体例を徹底的に詳しく見たい、あるいは、もはや古典的ともいえる原論文のテクニカルな誤りについて聞きたいという方はどうぞ。

*1:セキュリティプロトコル（ないし、暗号化通信を行う並行プログラム）をモデル化した形式的体系の一つ。かなりメジャー(?)。