2ch経由

crypt

日本応用数理学会 (JSIAM)「数理的技法による情報セキュリティ」研究部会 (FAIS) 第二回研究集会
12/22に東大で. 「第7回代数幾何・数論及び符号・暗号研究集会 (12/20-22)」と協賛らしいが元の集会が良く分からん. 20日は代数幾何・数論よりの話で, 21日が量子と符号の話ぽい.

11:10〜12:10
spi計算における暗号プロトコルの形式的検証について
◎住井英二郎(東北大学 大学院情報科学研究科)

id:sumiiさん.