その他

2014年1月 - 2014年1月

「暗号の形式検証 (I)」, 「暗号の形式検証 (II)」

東京大学大学院情報理工学系研究科「計算システム検証論」の一部